Travelled to:1 × The Netherlands
Collaborated with:∅
Talks about:system (2) polymorph (1) generic (1) proof (1) type (1) term (1) have (1) done (1) can (1) no (1)
Person: Sophie Malecki
DBLP: Malecki:Sophie
Contributed to:
1996
1990Wrote 2 papers:
- CSL-1996-Malecki #proving
- Proofs in System Fω Can Be Done in System Fω¹ (SM), pp. 297–315.
- ICALP-1990-Malecki #polymorphism
- Generic Terms Having No Polymorphic Types (SM), pp. 46–59.