Spinal Atomic Lambda-Calculus.

David Sherratt Willem Heijltjes Tom Gundersen Michel Parigot

Published in: FoSSaCS (2020)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
complex objects
object oriented
software engineering
relational model