An inductive dependently-typed construction of simplicial sets and of similar presheaves over a Reedy category Hugo Herbelin 29 JuneHoTT-UF 2015 - Reedy - Document - PDFSEARCH.IO

First Page	Meta Content
	An inductive dependently-typed construction of simplicial sets and of similar presheaves over a Reedy category Hugo Herbelin 29 JuneHoTT-UF 2015 Add to Reading List Document Date: 2015-07-02 06:13:20 Open Document File Size: 146,96 KB Share Result on Facebook

An inductive dependently-typed construction of simplicial sets and of similar presheaves over a Reedy category Hugo Herbelin 29 JuneHoTT-UF 2015Add to Reading List