3496 results  save search


...
hal-00786589v3  Preprints, Working Papers, ...
Matthieu SozeauNicolas Tabareau. Univalence for free
2013