MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A Linear Logical Framework." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

A Linear Logical Framework
by Iliano Cervesato, Frank Pfenning — 1996
…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
by Lot Of
…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
by Sky Marsen, Sky Marsen, Robert Biddle, Robert Biddle, James Noble, James Noble — 1996 — Proceedings of the Eleventh Annual Symposium on Logic in Computer Science
… 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
by Mark Plesko, Frank Pfenning — 1999 — Proceedings of the FLoC Workshop on Run-Time Result Verification
…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
by Abdullah-Al Amin, Supervisor Dr. James Harland, Technical Supervisor, Dr. Michael Winikoff — 1999
… 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
by Frank Pfenning December, Frank Pfenning — 1994
… Elimination, Logical Framework Contents 1 Introduction 1 2 CLL: A Traditional Sequent Calculus for Linear…
Add To MetaCart

Explicit Substitutions for Linear Logical
by Frameworks Preliminary Results, Iliano Cervesato, Valeria De Paiva, Eike Ritter — 1999 — Proceedings of the Worskshop on Logical Frameworks and Meta-Languages — LFM’99
… 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
by Iliano Cervesato, Valeria De Paiva, Eike Ritter — 1999 — Proceedings of the Worskshop on Logical Frameworks and Meta-Languages — LFM’99
… 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
by Didier Galmiche — 1994 — Proof-Theoretical Extensions of Logic Programming 210, Post-Conference Workshop for ICLP'94, Santa Margherita Ligure
… 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
by Frank Pfenning — 1994
… 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

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB