Teyjus
From MaRDI portal
Software:33172
No author found.
Related Items (17)
Functions-as-constructors higher-order unification: extended pattern unification ⋮ Proof checking and logic programming ⋮ LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners ⋮ There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners ⋮ ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter ⋮ A two-level logic approach to reasoning about computations ⋮ Choices in representation and reduction strategies for lambda terms in intensional contexts ⋮ A semantic framework for proof evidence ⋮ The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations ⋮ Proof Checking and Logic Programming ⋮ Executable Relational Specifications of Polymorphic Type Systems Using Prolog ⋮ Reasoning in Abella about Structural Operational Semantics Specifications ⋮ A Proposal for Broad Spectrum Proof Certificates ⋮ Automated Deduction – CADE-19 ⋮ Mechanized metatheory revisited ⋮ Encoding Generic Judgments ⋮ Functions-as-constructors Higher-order Unification
This page was built for software: Teyjus
