Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)
FOMUS 2016
•
September 25, 2017
FOMUS 2016
View ChannelAbout
No channel description available.