scientific article; zbMATH DE number 4180832
From MaRDI portal
Publication:3204068
Recommendations
- Functional and Logic Programming
- scientific article; zbMATH DE number 1346869
- scientific article; zbMATH DE number 1973214
- scientific article; zbMATH DE number 1692888
- A generalized approach to metaprogramming in logic grammars
- A metalogic programming approach: language, semantics and applications
- On the declarative and procedural semantics of definite metalogic programs
- Certifying term rewriting proofs in ELAN
- scientific article; zbMATH DE number 1231535
- Specifying, programming and verifying with equational logic
Cited in
(32)- Programming by example and proving by example using higher-order unification
- Checking algorithms for Pure Type Systems
- The practice of logical frameworks
- Isabelle's metalogic: formalization and proof checker
- A logic programming language with lambda-abstraction, function variables, and simple unification
- TWAM: a certifying abstract machine for logic programs
- scientific article; zbMATH DE number 1231543 (Why is no real title available?)
- ELPI: fast, embeddable, \(\lambda \)Prolog interpreter
- Encoding a dependent-type λ-calculus in a logic programming language
- Theorem Proving in Higher Order Logics
- A notation for lambda terms. A generalization of environments
- Problems in rewriting applied to categorical concepts by the example of a computational comonad
- Focusing in Linear Meta-logic
- scientific article; zbMATH DE number 65532 (Why is no real title available?)
- The expressive power of Structural Operational Semantics with explicit assumptions
- A natural deduction approach to dynamic logic
- Elf
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Using typed lambda calculus to implement formal systems on a machine
- Mechanized metatheory revisited
- A formalization and proof checker for Isabelle's metalogic
- Modular AC unification of higher-order patterns
- Imperative LF meta-programming
- Linear unification of higher-order patterns
- Forum: A multiple-conclusion specification logic
- Formalized proof systems for propositional logic
- Structured theory presentations and logic representations
- Unification with extended patterns
- Twenty years of rewriting logic
- A practical implementation of simple consequence relations using inductive definitions
- A framework for proof systems
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 Q3204068)
