A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

by Frank Pfenning , Rowan Davies
Venue:Mathematical Structures in Computer Science
Citations:159 - 38 self

Documents Related by Co-Citation

733 Notions of Computation and Monads – Eugenio Moggi - 1991
440 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
125 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
35 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
33 Natural Deduction for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999
169 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
27 Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999
135 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
52 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1093 Proof-Carrying Code – George C. Necula - 1997
360 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
268 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
83 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
89 Dual intuitionistic linear logic – A Barber - 1996
331 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
107 Intuitionistic Reasoning about Shared Mutable Data Structure – John C. Reynolds - 2000
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997