Frank Pfenning. Structural cut elimination I. intuitionistic and classical logic. Information and Computation, 157(1/2):84-141, March 2000. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Correspondence Assertions for Process Synchronization.. - Bonelli, Compagnoni.. (2003) (3 citations) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy (2005) Self-citation (Pfenning) (Correct)
A Linear Logic of Authorization and Knowledge - Garg, Bauer, Bowers.. (2006) Self-citation (Pfenning Logic) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2005) (3 citations) Self-citation (Pfenning) (Correct)
CLF: A Dependent Logical Framework for Concurrent.. - Watkins, Cervesato.. (2004) (1 citation) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - Tom Murphy Vii (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed - Computing Tom Murphy Self-citation (Pfenning) (Correct)
Verifying Uniqueness in a Logical Framework - Anderson, Pfenning (2004) (1 citation) Self-citation (Pfenning) (Correct)
Type Refinements - Harper, Pfenning (2001) Self-citation (Pfenning Logic) (Correct)
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
Verifying Uniqueness in a Logical Framework - Anderson, Pfenning (2004) (1 citation) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed.. - Murphy VII.. (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Symmetric Modal Lambda Calculus for Distributed Computing - VII, Crary, Harper, Pfenning (2004) (3 citations) Self-citation (Pfenning) (Correct)
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Pfenning) (Correct)
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Pfenning) (Correct)
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Pfenning) (Correct)
A Coverage Checking Algorithm for LF - Schürmann, Pfenning (2003) (5 citations) Self-citation (Pfenning) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC