Login / Signup
A typed, algebraic, computational lambda-calculus.
Benoît Valiron
Published in:
Math. Struct. Comput. Sci. (2013)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
complex objects
database query languages
pairwise
general purpose
distance function
program understanding
high level
database systems
data management
formal model