Login / Signup

Strong Normalization of Second Order Symmetric lambda-Calculus.

Michel Parigot
Published in: FSTTCS (2000)
Keyphrases
  • lambda calculus
  • higher order
  • programming language
  • predicate calculus
  • expressive power
  • object oriented databases
  • program understanding
  • database query languages