Per Martin-Löf

Stockholms universitet

Rolf Schock Prize - Logic and Philosophy 2020

Citation

“for the creation of constructive type theory”

Press release