Teyjus
From MaRDI portal
Software:33172
swMATH21364MaRDI QIDQ33172FDOQ33172
Author name not available (Why is that?)
Cited In (17)
- There Is No Best $$\beta $$ -Normalization Strategy for Higher-Order Reasoners
- Automated Deduction – CADE-19
- Mechanized metatheory revisited
- Functions-as-constructors higher-order unification: extended pattern unification
- The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations
- LeoPARD — A Generic Platform for the Implementation of Higher-Order Reasoners
- Proof checking and logic programming
- ELPI: Fast, Embeddable, $$\lambda $$ Prolog Interpreter
- Choices in representation and reduction strategies for lambda terms in intensional contexts
- A Proposal for Broad Spectrum Proof Certificates
- Executable Relational Specifications of Polymorphic Type Systems Using Prolog
- Encoding generic judgments: preliminary results
- A two-level logic approach to reasoning about computations
- Proof Checking and Logic Programming
- A semantic framework for proof evidence
- Functions-as-constructors Higher-order Unification
- Reasoning in Abella about structural operational semantics specifications
This page was built for software: Teyjus
