The infinitary lambda calculus of the infinite eta Böhm trees.

Paula Severi Fer-Jan de Vries

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
databases
relational databases
machine learning
general purpose
relational algebra