Login / Signup
Verified Metatheory and Type Inference for a Name-Carrying Simply-Typed Lambda Calculus.
Michael Rawson
Published in:
Arch. Formal Proofs (2017)
Keyphrases
</>
lambda calculus
database query languages
programming language
predicate calculus
type checking
expressive power
complex objects
database systems
artificial intelligence
query language
higher order
database
relational algebra