Login / Signup

Ordered Models of the Lambda Calculus.

Alberto CarraroAntonino Salibra
Published in: Log. Methods Comput. Sci. (2013)
Keyphrases
  • lambda calculus
  • databases
  • general purpose