Relating models of polymorphism
By: José Meseguer.
Contributors: Center for the Study of Language and Information (U.S.)
Series: Report / Center for the Study of Language and Information ;; no. CSLI-88-133; Report (Center for the Study of Language and Information (U.S.)) ;; no. CSLI-88-133.
Publisher: Center for the Study of Language and Information
Published: 1988
Place of publication: Stanford, CA (Ventura Hall, Stanford 94305)
Language: eng
Number of pages: 35
Subjects: Lambda calculus.
Notes: Includes bibliographical references (p. 30-35).
"October, 1988."