A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.
Damiano MazzaLuc PellissierPublished in: ICTAC (2015)
Keyphrases
- linear logic
- lambda calculus
- programming language
- logic programming
- fixed point
- predicate calculus
- database query languages
- desirable properties
- sequent calculus
- logical framework
- program understanding
- general purpose
- databases
- complex objects
- open source
- natural deduction
- software engineering
- cut elimination
- probability distribution