Martin-Löf's Type Theory (MLTT)

Martin-Löf's Type Theory (MLTT)

Guest lecture at the University of Iowa.

72003cf388f6f7f95b433de3df9ccd38?s=128

larrytheliquid

April 26, 2018
Tweet