scientific article; zbMATH DE number 65531
From MaRDI portal
Publication:4012879
Recommendations
- scientific article; zbMATH DE number 4072431
- scientific article; zbMATH DE number 194376
- scientific article; zbMATH DE number 841929
- scientific article; zbMATH DE number 1531964
- scientific article; zbMATH DE number 3872640
- Logic programming in a fragment of intuitionistic linear logic
- scientific article; zbMATH DE number 750013
- scientific article; zbMATH DE number 1215501
- scientific article; zbMATH DE number 1070626
- scientific article; zbMATH DE number 4076677
Cited in
(56)- scientific article; zbMATH DE number 1418814 (Why is no real title available?)
- The practice of logical frameworks
- Higher order disunification: some decidable cases
- Automated techniques for provably safe mobile code.
- Structural cut elimination. I: Intuitionistic and classical logic
- Logic programming: laxness and saturation
- Role of logic programming in the FGCS project
- Representing unification in a logical framework
- A practical implementation of simple consequence relations using inductive definitions
- Functional and Logic Programming
- scientific article; zbMATH DE number 4180831 (Why is no real title available?)
- The Twelf Proof Assistant
- Fuzzy types: A framework for handling uncertainty about types of objects
- Unification with extended patterns
- A framework for defining logical frameworks
- Programmed strategies for program verification
- A graph-theoretic approach to sequent derivability in the Lambek calculus
- TWAM: a certifying abstract machine for logic programs
- In praise of impredicativity: a contribution to the formalization of meta-programming
- scientific article; zbMATH DE number 4164201 (Why is no real title available?)
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- Verifying termination and reduction properties about higher-order logic programs
- Linear unification of higher-order patterns
- Primitive recursion for higher-order abstract syntax
- Higher-order substitutions
- scientific article; zbMATH DE number 65532 (Why is no real title available?)
- Elf
- A linear logical framework
- Encoding a dependent-type λ-calculus in a logic programming language
- Programming inductive proofs. A new approach based on contextual types
- Logical frameworks
- Login: a logic programming language with built-in inheritance
- Semantics for abstract clauses
- Representing proof transformations for program optimization
- Logical frameworks. Why not just classical logic?
- Decidable higher-order unification problems
- A note on the proof theory of the -calculus
- A representation of \(F_{\omega}\) in LF
- Unification under a mixed prefix
- Implementing tactics and tacticals in a higher-order logic programming language
- Higher-order superposition for dependent types
- Modular AC unification of higher-order patterns
- Relative properties of frame language
- Frontiers of Combining Systems
- A framework for defining logics
- Structured theory presentations and logic representations
- scientific article; zbMATH DE number 2110615 (Why is no real title available?)
- Elf: A meta-language for deductive systems
- Proof-search in type-theoretic languages: An introduction
- Using typed lambda calculus to implement formal systems on a machine
- A framework for linguistic logic programming
- scientific article; zbMATH DE number 1638651 (Why is no real title available?)
- Program development schemata as derived rules
- Focusing the inverse method for LF: a preliminary report
- Imperative LF meta-programming
- A Survey of the Proof-Theoretic Foundations of Logic Programming
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4012879)
