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

Cached

Download Links

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

Documents Related by Co-Citation

217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
160 A Judgmental Reconstruction of Modal Logic – Frank Pfenning, Rowan Davies - 1999
696 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
333 Logic Programming with Focusing Proofs in Linear Logic – Jean-marc Andreoli - 1992
565 Untersuchungen über das logische Schließen – G Gentzen - 1935
306 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
352 A Calculus for Access Control in Distributed Systems – M. Abadi, M. Burrows, B. Lampson, G. Plotkin, J. Kohl, C. Neuman, J. Steiner - 1991
126 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
90 Logic in Access Control – Martίn Abadi - 2003
315 System Description: Twelf --- A Meta-Logical Framework for Deductive Systems – Frank Pfenning, Carsten Schurmann - 1999
107 An algorithm for testing conversion in Type Theory – Thierry Coquand - 1991
179 Proof-Carrying Authentication – Andrew W. Appel, Edward W. Felten - 1999
110 a logic-based security language – Binder - 2002
47 Access Control for the Web via Proof-Carrying Authorization – Ljudevit Bauer - 2003
198 Delegation Logic: A Logic-based Approach to Distributed Authorization – Ninghui Li, Benjamin N. Grosof, Joan Feigenbaum - 2000
40 A Coverage Checking Algorithm for LF – Carsten Schürmann, Frank Pfenning - 2003
29 A Modal Deconstruction of Access Control Logics – Deepak Garg, Martín Abadi
26 An Authorization Logic with Explicit Time – Henry DeYoung, Deepak Garg, Frank Pfenning - 2008