Semimodules and the (syntactically-)linear lambda calculus.

Alejandro Díaz-Caro Octavio Malherbe

Published in: CoRR (2022)

Keyphrases

lambda calculus
programming language
higher order
general purpose
data model
database management systems
predicate calculus
program understanding
database query languages