scientific article

From MaRDI portal
Publication:4012879

zbMath0760.68014MaRDI QIDQ4012879

Frank Pfenning

Publication date: 27 September 1992


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Structured theory presentations and logic representations, Linear unification of higher-order patterns, TWAM: a certifying abstract machine for logic programs, A note on the proof theory of the \(\lambda \Pi\)-calculus, Higher-order superposition for dependent types, Verifying termination and reduction properties about higher-order logic programs, Modular AC unification of higher-order patterns, Higher order disunification: Some decidable cases, A Survey of the Proof-Theoretic Foundations of Logic Programming, Semantics for abstract clauses, In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming, A linear logical framework, Using typed lambda calculus to implement formal systems on a machine, Unification under a mixed prefix, A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus, Programming Inductive Proofs, Primitive recursion for higher-order abstract syntax, Representing proof transformations for program optimization, Decidable higher-order unification problems, Elf: A meta-language for deductive systems, Elf, Unification with extended patterns, A Representation of Fω in LF, Proof-search in type-theoretic languages: An introduction, Program development schemata as derived rules, Automated techniques for provably safe mobile code., Structural cut elimination. I: Intuitionistic and classical logic, Higher-order substitutions, Fuzzy types: A framework for handling uncertainty about types of objects, Programmed Strategies for Program Verification, Implementing tactics and tacticals in a higher-order logic programming language, The practice of logical frameworks