Find out how to access previewonly content
Volume 173 of the series Lecture Notes in Computer Science pp 131144
Date:
The semantics of second order polymorphic lambda calculus
 Kim B. BruceAffiliated withDepartment of Mathematical Sciences, Williams College
 , Albert R. MeyerAffiliated withLaboratory for Computer Science, Massachusetts Institute of Technology
 Title
 The semantics of second order polymorphic lambda calculus
 Book Title
 Semantics of Data Types
 Book Subtitle
 International Symposium SophiaAntipolis, France, June 27 – 29, 1984 Proceedings
 Pages
 pp 131144
 Copyright
 1984
 DOI
 10.1007/3540133461_6
 Print ISBN
 9783540133469
 Online ISBN
 9783540388913
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 173
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors
 Authors

 Kim B. Bruce ^{(1)}
 Albert R. Meyer ^{(2)}
 Author Affiliations

 1. Department of Mathematical Sciences, Williams College, 01267, Williamstown, MA, U.S.A.
 2. Laboratory for Computer Science, Massachusetts Institute of Technology, 02139, Cambridge, MA, U.S.A.
Continue reading...
To view the rest of this content please follow the download PDF link above.