Talk at Deducteam seminar, Paris
I will give a talk on type isomorphisms on the Deducteam seminar at INRIA Paris — av. de Italie, on February 7, 2014, at 10:00.
Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net
I will give a talk on type isomorphisms on the Deducteam seminar at INRIA Paris — av. de Italie, on February 7, 2014, at 10:00.
Comment here: @danko@mamot.fr Follow using the Fediverse ID: @danko@blog.iaddg.net