Sophie Malecki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1996

2 Sophie Malecki: Proofs in System F_omega Can Be Done in System F_omega¹. CSL 1996: 297-315

1990

1 Sophie Malecki: Generic Terms Having No Polymorphic Types. ICALP 1990: 46-59

1996
2		Sophie Malecki: Proofs in System F_omega Can Be Done in System F_omega¹. CSL 1996: 297-315
1990
1		Sophie Malecki: Generic Terms Having No Polymorphic Types. ICALP 1990: 46-59