Scholar
Dale Miller
Google Scholar ID: d9WopvMAAAAJ
Inria-Saclay and LIX, Ecole Polytechnique
Proof Theory
Linear Logic
Logic Programming
Theorem Proving
Computational Logic
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
11,650
H-index
57
i10-index
116
Publications
20
Co-authors
31
list available
Publications
3 items
Proof Theory and Dependent Type Theory: Distinct Foundations for Designing Proof Assistants
2026
Cited
0
Automating proof search when equality is a logical connective
2026
Cited
0
Peano Arithmetic and $mu$MALL
2023
Cited
0
Co-authors
10 total
Alwen Tiu
School of Computing, The Australian National University
Kaustuv Chaudhuri
INRIA
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Elaine Pimentel
University College London
Catuscia Palamidessi
Inria
Zakaria Chihani
CEA
Alberto Momigliano
DI, University of Milan
Matteo Cimini
University of Massachusetts Lowell
