Login / Signup
Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention.
Ernesto Copello
Nora Szasz
Álvaro Tasistro
Published in:
Math. Struct. Comput. Sci. (2021)
Keyphrases
</>
lambda calculus
database query languages
type checking
case study
programming language
expressive power
database
artificial intelligence
query language
data management
formal model
theorem proving
predicate calculus