Archives pour la catégorie Science

Lettre d’André Joyal à Grothendieck

Source : Lettre d’André Joyal à Grothendieck

Publicités

Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Source : Identités constructives pour la physique 1: Hilbert, Lawvere, Schreiber et HoTT

Axiomatic cohesion in HOTT

Source : Axiomatic cohesion in HOTT