Intersection Types for Light Affine Lambda Calculus.

Daniel de Carvalho

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

lambda calculus
programming language
knowledge base
database systems
database
databases
expert systems
higher order