Searching for "A Linear Logical Framework." – sorted by Relevance.
-
A Linear Logical Framework
- A Linear Logical Framework Iliano Cervesato and Frank Pfenning Department of Computer Science
- Cited by 175 (40 self) – Add To MetaCart
-
A Linear Logical Framework
- Chapter 5 A Linear Logical Framework [ a lot of stuff omitted here for now which is easily
- Add To MetaCart
-
CP96] Iliano Cervesato and Frank Pfenning. A linear logical framework
- of causality, as it might at first seem. A transformation logically presupposes the previous one, but the first
- Cited by 1 (0 self) – Add To MetaCart
-
A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework
- A Formalization of the Proof-Carrying Code Architecture in a Linear Logical Framework Mark Plesko
- Cited by 3 (1 self) – Add To MetaCart
-
Agent-Oriented Programming in Linear Logic
- weight BDI approach . . . . . . . . . . . . . . 16 4 A Linear Logic Framework of Agency 17 5
- Cited by 1 (0 self) – Add To MetaCart
-
Structural Cut Elimination in Linear Logic
- Elimination, Logical Framework Contents 1 Introduction 1 2 CLL: A Traditional Sequent Calculus for Linear
- Add To MetaCart
-
Explicit Substitutions for Linear Logical
- have based their implementation of the linear logical framework LLF [4] on a form of linear explicit
- Add To MetaCart
-
Explicit Substitutions for Linear Logical Frameworks: Preliminary Results
- have based their implementation of the linear logical framework LLF [4] on a form of linear explicit
- Cited by 2 (1 self) – Add To MetaCart
-
Canonical Proofs for Linear Logic Programming Frameworks
- strategies in a linear logical framework ? Some answers have been partially given in works on proof search
- Cited by 3 (1 self) – Add To MetaCart
-
Structural Cut Elimination in Linear Logic
- 2 CLL: A Traditional Sequent Calculus for Linear Logic 1 3 LV: Another Sequent Calculus for Linear
- Cited by 30 (13 self) – Add To MetaCart

