author-photo

Dale Miller

75

Papers

326

Citations

Citation Trend

Filter By

Papers (75) Sort By

Journal Conference Others

Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper)

2018 TYPES | Types for Proofs and Programs
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (0)
Influences between logic programming and proof theory

2018
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (0)
Retailing in Australia and New Zealand

2018
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (1)
Linear logic as a logical framework

2017
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (0)
2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017)

2017
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (1)
Using linear logic and proof theory to unify computational logic

2017
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (0)
PROOFCERT – Broad Spectrum Proof Certificates – ERC

2017
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (2)
Mechanized Metatheory Revisited: An Extended Abstract

2016
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (1)
Possible Re-Alignment of the Lower Mississippi River and Influences on Navigation

2016
Show All
- Source
- Cite
- Save
Citations (0)
Mechanized Metatheory Revisited: An Extended Abstract (Invited Paper).

2016
- Dale Miller
Show All
- Source
- Cite
- Save
Citations (0)