Frank Pfenning  Home/Search
Context Related
| cmu.edu/user/fp/www/pap...handbook00.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/user/fp/www/homepage (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: syntax . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 2.1 Uni-typed representations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 Simply-typed representation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 3 Judgments and deductions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 3.1 Parametric and hypothetical judgments . . . . . . . . . . . . . . . . . . . . . . . . 13 3.2 Natural deduction . ... (Update)
Cited by: More
A Concurrent Logical Framework: The Propositional.. - Watkins, Cervesato.. (2003) (Correct)
Mechanizing Language Definitions - Harper, Licata (2006) (Correct)
Verifying Uniqueness in a Logical Framework - Anderson, Pfenning (2004) (Correct)
Similar documents (at the sentence level):
74.7%: Logical Frameworks - Pfenning (2001) (Correct)
Active bibliography (related documents): More All
0.1: Rewriting Logic as a Metalogical Framework - Basin, Clavel, Meseguer (2000) (Correct)
0.1: Elimination of Negation in a Logical Framework - Momigliano (Correct)
0.1: Higher-Order Pattern Complement and the Strict ...-Calculus - Momigliano, Pfenning (Correct)
Similar documents based on text: More All
0.3: The Early History of Automated Deduction - Davis (2001) (Correct)
0.2: Normal Gentzen Deductions in the Classical Case - Palmigiano (1999) (Correct)
0.2: Uniform Proofs and Natural Deductions - Dyckhoff, Pinto (1994) (Correct)
Related documents from co-citation: More All
22: A framework for defining logics - Harper, Honsell et al. - 1987
15: System description: Twelf --- a meta-logical framework for deductive systems - Pfenning, Schurmann - 1999
15: An algorithm for testing conversion in type theory (context) - Coquand - 1991
BibTeX entry: (Update)
F. Pfenning. Logical frameworks. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, 2000. In preparation. http://citeseer.ist.psu.edu/article/pfenning00logical.html More
@incollection{ pfenning01logical,
author = "Frank Pfenning",
title = "Logical Frameworks",
booktitle = "Handbook of Automated Reasoning",
pages = "1063-1147",
year = "2001",
url = "citeseer.ist.psu.edu/article/pfenning00logical.html" }
Citations (may not include all citations):174 A unification algorithm for typed -calculus (context) - Huet - 1975
7 Automated theorem proving in a simple meta-logic for LF (context) - Sch, Pfenning - 1998 ACM DBLP
2 Equational reasoning in Isabelle (context) - in, the et al. - 1989
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/afs/cs.cmu.edu/user/fp/www/homepage.html): More
Ordered Linear Logic Programming - Polakow, Pfenning (1998) (Correct)
Algorithms for Equality and Unification in the Presence of.. - Pfenning, Schürmann (1998) (Correct)
A Modal Analysis of Staged Computation - Rowan Davies (1996) (Correct)
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