My web page for the MSC Lyon 2014 Lectures

January 13, 2013

I set up a web page with materials for the winter school Recent developments in Type Theory, Mathematical Structures of Computation – Lyon 2014.

Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net