The Call-By-Value Lambda-Calculus with Generalized Applications.

José Espírito Santo

Published in: CSL (2020)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
database
higher order
databases
case study
complex objects