Rapports

20/06/07 Intl. Category Theory Conference, Carveilho: Marcelo Fiore: Mathematical theory of substitution / Stephen Lack: Lawvere 2-theories

Il n'y a pas de rapports pertinents pour cet élément