Login / Signup
An algebraic interpretation of the lambda beta - calculus and a labeled lambda - calculus.
Jean-Jacques Lévy
Published in:
Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
</>
lambda calculus
database query languages
programming language
predicate calculus
high level
complex objects
program understanding
first order logic
expressive power
relational algebra
machine learning
higher order
data management
reverse engineering
predicate logic
query language
type checking
database systems