Untyped lambda calculus with functionally referable environments.

Shin-ya Nishizaki Ryotaro Kasuga

Published in: ICSCA (2021)

Keyphrases

lambda calculus
programming language
predicate calculus
database
databases
program understanding
artificial intelligence
higher order
query optimization