Monthly Archives: September 2017

#HoTT The Book : product types, dependent pair types ou Σ-types

Advertisements