Stockholms universitet
“for the creation of constructive type theory”
By playing this video, you accept YouTube’s privacy policy. Click %s to start the video.