Relating models of polymorphism

Author(s)

• Meseguer, José
• Stanford University. Center for the Study of Language and Information

Bibliographic Information

Relating models of polymorphism

José Meseguer

（Report (Center for the Study of Language and Information (U.S.)), no. CSLI-88-133）

Center for the Study of Language and Information (CSLI), c1988

Note

"October 1988"

Bibliography: p. 30-35

Details

• NCID: BA7620883X
• LCCN: 89138161
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: 35 p.
• Size: 28 cm
• Classification:
  • LCC : QA9.5
  • DC20 : 511.3
• Subject Headings:
  • LCSH : Lambda calculus
• Parent Bibliography ID:
  • BA10949995