Re: new publication "Modelling and Computing Homotopy Types: I"