Combinatory Logic and Lambda Calculus Are Equal, Algebraically.

Thorsten Altenkirch Ambrus Kaposi Artjoms Sinkarovs Tamás Végh

Published in: FSCD (2023)

Keyphrases

lambda calculus
predicate calculus
programming language
database query languages
complex objects
database
formal model
databases
higher order
first order logic
expressive power
relational algebra