Linear Lambda-Calculus and Categorial Models Revisited.

P. N. Benton Gavin M. Bierman Valeria de Paiva Martin Hyland

Published in: CSL (1992)

Keyphrases

lambda calculus
machine learning
case study
database systems
higher order
open source