Dr. Dale A Miller

Digital Library

ACM Fellows

France - 2021

citation

For contributions to proof theory and computational logic

Press Release