Defining Lambda-Typed Lambda-Calculi by Axiomatizing the Typing Relation.

Philippe de Groote

Published in: STACS (1993)

Keyphrases

lambda calculus
fixed point
programming language
data sets
higher order
predicate calculus
database query languages
database
real time
genetic algorithm
learning algorithm
website
database systems
probabilistic model