Completeness results for a polymorphic type system
1983 ◽
pp. 179-190
◽
2000 ◽
Vol 11
(01)
◽
pp. 65-87
Keyword(s):
2012 ◽
Vol 6
(18)
◽
pp. 219-226
1996 ◽
Vol 6
(1)
◽
pp. 111-141
◽
Keyword(s):
1984 ◽
Vol 23
(3)
◽
pp. 295-307
◽
2008 ◽
Vol 18
(4)
◽
pp. 729-751
◽
1993 ◽
Vol 3
(4)
◽
pp. 465-484
◽
Keyword(s):