Journal of Logic, Language and Information
, Volume 2
Volume 2, Number 3, 1993
Fairouz Kamareddine
,
Ewan Klein
: Polymorphism, Type containment and Nominalization. 171-215
BibTeX
Copyright ©
Tue Nov 18 20:42:26 2008 by
Michael Ley
(
ley@uni-trier.de
)