TY  - GEN
AU  - Figueiredo,Lucília
TI  - Typing polymorphic recursion
ER  -