The following pages link to (Q3204068):
Displaying 28 items.
- Elf (Q33169) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Using typed lambda calculus to implement formal systems on a machine (Q688571) (← links)
- A framework for proof systems (Q707742) (← links)
- A notation for lambda terms. A generalization of environments (Q1129257) (← links)
- Unification with extended patterns (Q1274966) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- TWAM: a certifying abstract machine for logic programs (Q1629962) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- Imperative LF meta-programming (Q2871844) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- (Q4222859) (← links)
- A module system for a programming language based on the LF logical framework (Q4399511) (← links)
- A natural deduction approach to dynamic logic (Q4647578) (← links)
- Linear unification of higher-order patterns (Q5044750) (← links)
- A logic programming language with lambda-abstraction, function variables, and simple unification (Q5053011) (← links)
- Problems in rewriting applied to categorical concepts by the example of a computational comonad (Q5055832) (← links)
- Modular AC unification of higher-order patterns (Q5096303) (← links)
- A practical implementation of simple consequence relations using inductive definitions (Q5234714) (← links)
- Theorem Proving in Higher Order Logics (Q5464654) (← links)
- The practice of logical frameworks (Q5878905) (← links)
- (Q6060676) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Encoding a dependent-type λ-calculus in a logic programming language (Q6488533) (← links)
- Programming by example and proving by example using higher-order unification (Q6488562) (← links)
