Sign in

An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form.

Hugo HerbelinStéphane Zimmermann
Published in: TLCA (2009)
Keyphrases
  • lambda calculus
  • natural deduction
  • programming language
  • inference rules
  • theorem prover
  • theorem proving
  • predicate calculus
  • higher order
  • semantic network
  • cut elimination