Per Martin-Löf

Stockholms universitet

Rolf Schock Prize - Logic and philosophy 2020

Citation
“for the creation of constructive type theory”
Press release