Correction To: Expressing ‘The Structure Of’ in Homotopy Type Theory
Synthese - Netherlands
doi 10.1007/s11229-018-1724-9
Full Text
Open PDFAbstract
Available in full text
Date
March 19, 2018
Authors
Publisher
Springer Science and Business Media LLC