Journal Article THE ERGO SUPPORT SYSTEM - AN INTEGRATED SET OF TOOLS FOR PROTOTYPING INTEGRATED ENVIRONMENTS 1989 • ACM Sigplan Notices • 24(2):25-34 LEE P, PFENNING F, ROLLINS G, SCHERLIS W
Conference Higher-order abstract syntax 1988 • ACM Sigplan Notices • 23(7):199-208 Pfenning F, Elliott C
Journal Article HIGHER-ORDER ABSTRACT SYNTAX 1988 • ACM Sigplan Notices • 23(7):199-208 PFENNING F, ELLIOTT C
Journal Article SINGLE AXIOMS IN THE IMPLICATIONAL PROPOSITIONAL CALCULUS 1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:710-713 PFENNING F
Journal Article The ergo attribute system 1988 • Software Engineering Notes • 13(5):110-120 Nord RL, Pfenning F
Conference The ergo support system: an integrated set of tools for prototyping integrated environments 1988 25-34 Lee P, Pfenning F, Rollins G, Scherlis W
Journal Article The ergo support system: an integrated set of tools for prototyping integrated environments 1988 • Software Engineering Notes • 13(5):25-34 Lee P, Pfenning F, Rollins G, Scherlis W
Conference THE TPS THEOREM-PROVING SYSTEM 1988 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 310:760-761 ANDREWS PB, ISSAR S, NESMITH D, PFENNING F
Chapter The TPS theorem proving system 1986 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 230:661-664 Andrews PB, Pfenning F, Issar S, Klapper CP
Journal Article THE TPS THEOREM-PROVING SYSTEM 1986 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 230:663-664 ANDREWS PB, PFENNING F, ISSAR S, KLAPPER CP
Conference Analytic and Non-analytic Proofs 1984 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 170:394-413 Pfenning F
Chapter Analytic and non-analytic proofs 1984 • Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) • 170:394-413 Pfenning F
Chapter Automating Higher-Order Logic 1984 • Contemporary Mathematics (Singapore) • 29:169-192 Andrews P, Miller D, Cohen EL, Pfenning F
Journal Article Data Layout from a Type-Theoretic Perspective • Electronic Notes in Theoretical Informatics and Computer Science • Volume 1 - Proceedings of MFPS XXXVIII: DeYoung H, Pfenning F
Journal Article On proving syntactic properties of CPS programs • BRICS Report Series • 6(23): Danvy O, Dzafic B, Pfenning F
