Lambda Calculus and Intuitionistic Linear Logic.
Simona Ronchi Della RoccaLuca RoversiPublished in: Stud Logica (1997)
Keyphrases
- linear logic
- lambda calculus
- programming language
- logic programming
- predicate calculus
- cut elimination
- sequent calculus
- fixed point
- desirable properties
- program understanding
- logical framework
- database query languages
- general purpose
- complex objects
- higher order
- formal model
- inference rules
- database
- incomplete information
- integrity constraints
- object oriented
- high level