Semantics of Data Types

Volume 173 of the series Lecture Notes in Computer Science pp 131-144


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

* Final gross prices may vary according to local VAT.

Get Access