scientific article; zbMATH DE number 4180832
From MaRDI portal
Publication:3204068
zbMATH Open0716.68079MaRDI QIDQ3204068FDOQ3204068
Authors: Frank Pfenning 
Publication date: 1989
Title of this publication is not available (Why is that?)
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)
- Twenty years of rewriting logic
- A practical implementation of simple consequence relations using inductive definitions
- Programming by example and proving by example using higher-order unification
- A framework for proof systems
- Mechanized metatheory revisited
- Unification with extended patterns
- TWAM: a certifying abstract machine for logic programs
- A natural deduction approach to dynamic logic
- Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)
- Title not available (Why is that?)
- Formalized proof systems for propositional logic
- Forum: A multiple-conclusion specification logic
- A notation for lambda terms. A generalization of environments
- Linear unification of higher-order patterns
- Title not available (Why is that?)
- Theorem Proving in Higher Order Logics
- Encoding a dependent-type λ-calculus in a logic programming language
- Elf
- The expressive power of Structural Operational Semantics with explicit assumptions
- Isabelle's metalogic: formalization and proof checker
- A formalization and proof checker for Isabelle's metalogic
- Checking algorithms for Pure Type Systems
- Problems in rewriting applied to categorical concepts by the example of a computational comonad
- Focusing in Linear Meta-logic
- Modular AC unification of higher-order patterns
- Structured theory presentations and logic representations
- Using typed lambda calculus to implement formal systems on a machine
- ELPI: fast, embeddable, \(\lambda \)Prolog interpreter
- A Survey of the Proof-Theoretic Foundations of Logic Programming
- Imperative LF meta-programming
- The practice of logical frameworks
- A logic programming language with lambda-abstraction, function variables, and simple unification
Uses Software
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)
