Structural Cut Elimination - I. Intuitionistic and Classical Logic (2000)

Cached

Download Links

by Frank Pfenning
Venue:Information and Computation
Citations:52 - 17 self

Documents Related by Co-Citation

158 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
215 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
695 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
331 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
560 Untersuchungen über das logische Schliessen. Mathematische Zeitschrift 39 – G Gentzen - 1935
303 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
347 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
125 On the meanings of the logical constants and the justifications of the logical laws – Per Martin-Löf - 1996
280 Computational Interpretations of Linear Logic – Samson Abramsky - 1993
86 Logic in Access Control – Martίn Abadi - 2003
314 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
107 An algorithm for testing conversion in type theory – T Coquand - 1991
173 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
109 a logic-based security language – Binder - 2002
44 Access Control for the Web via Proof-Carrying Authorization – Ljudevit Bauer - 2003
197 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
39 A Coverage Checking Algorithm for LF – Carsten Schürmann, Frank Pfenning - 2003
22 An Authorization Logic with Explicit Time – Henry DeYoung, Deepak Garg, Frank Pfenning - 2008
29 A Modal Deconstruction of Access Control Logics – Deepak Garg, Martín Abadi