The following pages link to Dale Miller (Q1102281):
Displaying 21 items.
- (Q4619819) (← links)
- (Q4636050) (← links)
- A Systematic Approach to Canonicity in the Classical Sequent Calculus (Q4649546) (← links)
- (Q4664255) (← links)
- Foundational Proof Certificates in First-Order Logic (Q4928436) (← links)
- Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
- (Q4992520) (← links)
- (Q5014803) (← links)
- Abella: A System for Reasoning about Relational Specifications (Q5195258) (← links)
- Unifying Classical and Intuitionistic Logics for Computational Control (Q5271065) (← links)
- A proof theory for generic judgments (Q5277739) (← links)
- Computer Science Logic (Q5311281) (← links)
- Functions-as-constructors Higher-order Unification (Q5369491) (← links)
- On the Specification of Sequent Systems (Q5387850) (← links)
- Reasoning with higher-order abstract syntax in a logical framework (Q5738952) (← links)
- A multi-focused proof system isomorphic to expansion proofs (Q5739975) (← links)
- Focused Inductive Theorem Proving (Q5747767) (← links)
- (Q5858725) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- Encoding a dependent-type λ-calculus in a logic programming language (Q6488533) (← links)
- Focusing Gentzen's LK proof system (Q6612872) (← links)