Login / Signup

Reflexive Scott Domains are Not Complete for the Extensional Lambda Calculus.

Alberto CarraroAntonino Salibra
Published in: LICS (2009)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • normal form