Archives quotidiennes :

#HoTT : a synthetic approach to higher equalities ( Michael Shulman)

Source : #HoTT : a synthetic approach to higher equalities ( Michael Shulman)

Publicités