Login / Signup
Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.
Ernesto Copello
Alvaro Tasistro
Nora Szasz
Ana Bove
Maribel Fernández
Published in:
LSFA (2015)
Keyphrases
</>
lambda calculus
programming language
complex objects
database query languages
predicate calculus
database
artificial intelligence