A survey of some useful partial order relations on terms of the lambda calculus

  • J. M. E. Hyland
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 37)


Normal Form Equality Relation Closure Property Combinatory Logic Continuous Lattice 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Barendregt, H.P., Some extensional term models for combinatory logics and λ-calculi, Utrecht 1971.Google Scholar
  2. Böhm, C., Alcune proprieta della forme βη-normali del λK-calcolo, C.N.R. No.696, Rome 1968.Google Scholar
  3. Hyland, J.M.E., A syntactic characterization of the equality in some models for the Lambda Calculus, to appear Bull. L.M.S. 1975.Google Scholar
  4. Scott, D., Continuous Lattices, Springer L.N.M. No.274, 97–136.Google Scholar
  5. Scott, D., Data Types as Lattices, to appear.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1975

Authors and Affiliations

  • J. M. E. Hyland
    • 1
  1. 1.Christ ChurchOxford

Personalised recommendations