Merv Hammer

Personal information


Ireland

male

Proof theory
Proof-theoretic semantics
Mathematical Logic
Homotopy type theory
Formal methods of programming
Functional programming
Dependently typed languages
Constructive mathemetics

History


3 years 18 weeks