A Judgmental Reconstruction of Modal Logic (1999)

Cached

Download Links

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

Documents Related by Co-Citation

651 Notions of Computation and Monads – Eugenio Moggi - 1991
203 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
401 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
33 Ordered Linear Logic and Applications – Jeff Polakow, Harper John Reynolds - 2001
117 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
31 Natural Deduction for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999
157 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
25 Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic – Jeff Polakow, Frank Pfenning - 1999
128 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
557 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1016 Proof-Carrying Code – George C. Necula - 1997
346 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
47 Structural Cut Elimination - I. Intuitionistic and Classical Logic – Frank Pfenning - 2000
80 A type system for certified binaries – Zhong Shao, Valery Trifonov, Bratin Saha, Nikolaos Papaspyrou - 2002
237 Local Reasoning about Programs that Alter Data Structures – Peter O'Hearn, John Reynolds, Hongseok Yang - 2001
272 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
290 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
79 Dual intuitionistic linear logic – A Barber - 1996
18 Modal proofs as distributed programs – Limin Jia, David Walker - 2003