Linear Logic, Monads and the Lambda Calculus.

P. N. Benton Philip Wadler

Published in: LICS (1996)

Keyphrases

linear logic
lambda calculus
programming language
logic programming
predicate calculus
fixed point
logical framework
database query languages
desirable properties
sequent calculus
cut elimination
complex objects
inference rules
program understanding
object oriented
database
expressive power
higher order