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
(59)- Unification under a mixed prefix
- Unification with extended patterns
- Implementing tactics and tacticals in a higher-order logic programming language
- Structured theory presentations and logic representations
- A linear logical framework
- Proof-search in type-theoretic languages: An introduction
- Program development schemata as derived rules
- Fuzzy types: A framework for handling uncertainty about types of objects
- TWAM: a certifying abstract machine for logic programs
- Automated techniques for provably safe mobile code.
- Structural cut elimination. I: Intuitionistic and classical logic
- Higher-order substitutions
- A note on the proof theory of the -calculus
- Relative properties of frame language
- Logic programming: laxness and saturation
- Logical frameworks. Why not just classical logic?
- scientific article; zbMATH DE number 1638651 (Why is no real title available?)
- Logical frameworks
- A representation of \(F_{\omega}\) in LF
- A framework for defining logical frameworks
- Programmed strategies for program verification
- Imperative LF meta-programming
- Focusing the inverse method for LF: a preliminary report
- Programming inductive proofs. A new approach based on contextual types
- The Twelf Proof Assistant
- scientific article; zbMATH DE number 4180831 (Why is no real title available?)
- Elf
- scientific article; zbMATH DE number 4164201 (Why is no real title available?)
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- A framework for linguistic logic programming
- Login: a logic programming language with built-in inheritance
- scientific article; zbMATH DE number 65532 (Why is no real title available?)
- A framework for defining logics
- scientific article; zbMATH DE number 1303348 (Why is no real title available?)
- A module system for a programming language based on the LF logical framework
- scientific article; zbMATH DE number 2110615 (Why is no real title available?)
- A graph-theoretic approach to sequent derivability in the Lambek calculus
- scientific article; zbMATH DE number 1418814 (Why is no real title available?)
- Linear unification of higher-order patterns
- Higher-order superposition for dependent types
- Role of logic programming in the FGCS project
- Modular AC unification of higher-order patterns
- Higher order disunification: some decidable cases
- In praise of impredicativity: a contribution to the formalization of meta-programming
- Representing proof transformations for program optimization
- Decidable higher-order unification problems
- Elf: A meta-language for deductive systems
- A practical implementation of simple consequence relations using inductive definitions
- Functional and Logic Programming
- Frontiers of Combining Systems
- The practice of logical frameworks
- Primitive recursion for higher-order abstract syntax
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Semantics for abstract clauses
- Encoding a dependent-type λ-calculus in a logic programming language
- Representing unification in a logical framework
- Mechanized metatheory revisited: an extended abstract (invited paper)
- Using typed lambda calculus to implement formal systems on a machine
- Verifying termination and reduction properties about higher-order logic programs
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)
