newer
Homotopy Type Theory and Univalent...

*** 105th Peripatetic Seminar on Sheaves and Logic *** University of Palermo, Italy *** May 18th-19th, 2019 + satellite event May 17th, 2019

Show replies by date

2756
Age (days ago)
2756
Last active (days ago)

List overview

Download

0 comments
1 participants

Add to favorites Remove from favorites

tags

participants (1)

  • Giuseppe Metere