The following pages link to Dale Miller (Q1102281):
Displaying 50 items.
- (Q507369) (redirect page) (← links)
- Preserving differential privacy under finite-precision semantics (Q507371) (← links)
- Nominal abstraction (Q617715) (← links)
- Proof and refutation in MALL as a game (Q636305) (← links)
- A focused approach to combining logics (Q639671) (← links)
- Forum: A multiple-conclusion specification logic (Q671512) (← links)
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- A framework for proof systems (Q707742) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- A compact representation of proofs (Q1102282) (← links)
- Logic programming in a fragment of intuitionistic linear logic (Q1327384) (← links)
- Encoding transition systems in sequent calculus (Q1398474) (← links)
- Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
- A semantic framework for proof evidence (Q1701039) (← links)
- Proof certificates for equality reasoning (Q1744408) (← links)
- A formal framework for specifying sequent calculus proof systems (Q1944778) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Functions-as-constructors higher-order unification: extended pattern unification (Q2134936) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- A proof theory for model checking (Q2331070) (← links)
- A two-level logic approach to reasoning about computations (Q2392484) (← links)
- Translating between implicit and explicit versions of proof (Q2405254) (← links)
- Uniform proofs as a foundation for logic programming (Q2640596) (← links)
- (Q2767057) (← links)
- Reasoning in Abella about structural operational semantics specifications (Q2804943) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- A proof search specification of the \(\pi\)-calculus (Q2848670) (← links)
- A congruence format for name-passing calculi (Q2852102) (← links)
- A game semantics for proof search (preliminary results) (Q2852368) (← links)
- Programming with higher-order logic. (Q2891520) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- Proof search specifications of bisimulation and modal logics for the π-calculus (Q2946601) (← links)
- A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
- (Q3338232) (← links)
- (Q3343471) (← links)
- Focused Labeled Proof Systems for Modal Logic (Q3460060) (← links)
- On Subexponentials, Synthetic Connectives, and Multi-level Delimited Control (Q3460062) (← links)
- Higher-order Horn clauses (Q3495673) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic (Q3608427) (← links)
- Focusing and Polarization in Intuitionistic Logic (Q3608430) (← links)
- Incorporating Tables into Proofs (Q3608431) (← links)
- (Q3751042) (← links)
- (Q3789101) (← links)
- (Q4222839) (← links)
- From operational semantics to abstract machines (Q4279254) (← links)
- (Q4391451) (← links)
- (Q4412848) (← links)
- (Q4415240) (← links)
- (Q4537502) (← links)
