Login / Signup
On the equational consistency of order-theoretic models of the lambda-calculus.
Alberto Carraro
Antonino Salibra
Published in:
CSL (2012)
Keyphrases
</>
lambda calculus
database
relational databases
higher order