A PolyTime Functional Language from Light Linear Logic.
Patrick BaillotMarco GaboardiVirgile MogbilPublished in: ESOP (2010)
Keyphrases
- linear logic
- functional language
- proof planning
- proof search
- functional programming
- programming language
- logic programming
- fixed point
- cut elimination
- sequent calculus
- desirable properties
- logical framework
- database
- object identity
- execution model
- object oriented programming
- inference rules
- software engineering
- artificial intelligence