John Hannan. Extended natural semantics. J. of Functional Programming, 3(2):123--152, April 1993. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
A Pragmatic Reconstruction of λProlog - Belleannée, Brisset, Ridoux (1994) (Correct)
Computation and Deduction - Pfenning (2001) (18 citations) (Correct)
Free Variables and Subexpressions in Higher-Order Meta Logic - Liang (Correct)
Encoding Transition Systems in Sequent Calculus - McDowell, Miller, Palamidessi (2000) (12 citations) (Correct)
Let-Polymorphism and Eager Type Schemes - Chuck Liang University (1997) (1 citation) (Correct)
Let-Polymorphism and Eager Type Schemes - Liang (1997) (1 citation) (Correct)
Observations About Using Logic as a Specification Language - Dale Miller (1995) (3 citations) (Correct)
Forum: A Multiple-Conclusion Specification Logic - Miller (1996) (46 citations) (Correct)
Encoding Transition Systems in Sequent Calculus - Raymond Mcdowell (1997) (12 citations) (Correct)
Higher-Order Logic Programming - Nadathur, Miller (1986) (93 citations) (Correct)
A Multiple-Conclusion Meta-Logic - Miller (1994) (71 citations) (Correct)
The Practice of Logical Frameworks - Frank Pfenning (1996) (15 citations) (Correct)
Cut-Elimination for a Logic with Definitions and Induction - Raymond McDowell, Dale.. (1997) (4 citations) (Correct)
Encoding Generic Judgments - Dale Miller Computer (2001) (3 citations) (Correct)
Mechanically Verifying the Correctness of an Offline Partial.. - Hatcliff (1995) (10 citations) (Correct)
Mechanically Verifying the Correctness of an Offline Partial.. - Hatcliff (1995) (10 citations) (Correct)
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) Self-citation (Hannan) (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