Encoding generic judgments: preliminary results

DOI10.1016/S1571-0661(04)00279-8MaRDI QIDQ2841234zbMATH OpenOpenAlexFDO

Authors Dale Miller

Publication date 24 July 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)00279-8

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1954369
• A proof theory for generic judgments
• Representing and Reasoning with Operational Semantics
• scientific article; zbMATH DE number 1231524
• scientific article; zbMATH DE number 3938530

Cites work

• -calculus in (Co)inductive-type theory
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• A calculus of mobile processes. II
• A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
• A Proof-Theoretic Approach to Logic Programming
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• A unification algorithm for typed \(\bar\lambda\)-calculus
• Cut-elimination for a logic with definitions and induction
• Encoding transition systems in sequent calculus
• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 1696799 (Why is no real title available?)
• scientific article; zbMATH DE number 1701361 (Why is no real title available?)
• scientific article; zbMATH DE number 3988745 (Why is no real title available?)
• scientific article; zbMATH DE number 47007 (Why is no real title available?)
• scientific article; zbMATH DE number 1759486 (Why is no real title available?)
• Logic Programming with Focusing Proofs in Linear Logic
• Modal logics for mobile processes
• Programming with higher-order logic.
• Reasoning with higher-order abstract syntax in a logical framework
• The foundation of a generic theorem prover
• Uniform proofs as a foundation for logic programming

Cited in

(3)

• Representing and Reasoning with Operational Semantics
• scientific article; zbMATH DE number 1954369 (Why is no real title available?)
• A proof theory for generic judgments

Describes a project that uses

Uses Software

• Teyjus

This page was built for publication: Encoding generic judgments: preliminary results

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841234)