Journal Article IMPLEMENTING THE META-THEORY OF DEDUCTIVE SYSTEMS 1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 607:536-551 PFENNING F, ROHWEDDER E
Conference IMPLEMENTING THE META-THEORY OF DEDUCTIVE SYSTEMS 1992 • AUTOMATED DEDUCTION - CADE-11 • 607:536-551 PFENNING F, ROHWEDDER E
Journal Article NATURAL SEMANTICS AND SOME OF ITS META-THEORY IN ELF 1992 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 596:299-344 MICHAYLOV S, PFENNING F
Conference NATURAL SEMANTICS AND SOME OF ITS META-THEORY IN ELF 1992 • EXTENSIONS OF LOGIC PROGRAMMING • 596:299-344 MICHAYLOV S, PFENNING F
Conference Compiling the polymorphic &lgr;-calculus 1991 • ACM Sigplan Notices • 26(9):285-296 Michaylov S, Pfenning F
Journal Article COMPILING THE POLYMORPHIC LAMBDA-CALCULUS 1991 • ACM Sigplan Notices • 26(9):285-296 MICHAYLOV S, PFENNING F
Conference Declarative alternative to `assert' in logic programming 1991 • undefined • 372-386 Dietzen S, Pfenning F
Journal Article METACIRCULARITY IN THE POLYMORPHIC LAMBDA-CALCULUS 1991 • Theoretical Computer Science • 89(1):137-159 PFENNING F, LEE P
Journal Article REFINEMENT TYPES FOR ML 1991 • ACM Sigplan Notices • 26(6):268-277 FREEMAN T, PFENNING F
Journal Article UNIFORM PROOFS AS A FOUNDATION FOR LOGIC PROGRAMMING 1991 • Annals of Pure and Applied Logic • 51(1-2):125-157 MILLER D, NADATHUR G, PFENNING F, SCEDROV A
Journal Article INDUCTIVELY DEFINED TYPES IN THE CALCULUS OF CONSTRUCTIONS 1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 442:209-228 PFENNING F, PAULINMOHRING C
Conference INDUCTIVELY DEFINED TYPES IN THE CALCULUS OF CONSTRUCTIONS 1990 • MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS / • 442:209-228 PFENNING F, PAULINMOHRING C
Conference Presenting intuitive deductions via symmetric simplification 1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:336-350 Pfenning F, Nesmith D
Chapter Program development through proof transformation 1990 • Contemporary Mathematics (Singapore) • 106:251-262 Pfenning F
Chapter The TPS theorem proving system 1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:641-642 Andrews PB, Issar S, Nesmith D, Pfenning F
Conference The TPS theorem proving system 1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449 LNAI:641-642 Andrews PB, Issar S, Nesmith D, Pfenning F
Conference Tutorial on λProlog 1990 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 449:682-682 Felty A, Gunter E, MIller D, Pfenning F
Chapter Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization 1989 447-449 Dietzen S, Pfenning F
Journal Article Jean H. Gallier. Logic for computer science. Foundations of automatic theorem proving. Harper & Row computer science and technology series. Harper & Row, New York1986, xv + 511 pp. 1989 • Journal of Symbolic Logic (JSL) • 54(1):288-289 Pfenning F
Journal Article LEAP - A LANGUAGE WITH EVAL AND POLYMORPHISM 1989 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 352:345-359 PFENNING F, LEE P
Journal Article THE ERGO ATTRIBUTE SYSTEM 1989 • ACM Sigplan Notices • 24(2):110-120 NORD RL, PFENNING F
