Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗

First Page		Document Content
Date: 2014-07-29 20:48:31 Abstract algebra Homotopy Path Quasigroup Covering space Intuitionistic type theory Fundamental group CW complex Function Topology Mathematics Homotopy theory		Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗ Add to Reading List Source URL: www.cs.cmu.edu Download Document from Source Website File Size: 380,58 KB Share Document on Facebook

	Dependent Session Types via Intuitionistic Linear Type Theory Bernardo Toninho Luís Caires DocID: 1uAKx - View Document
	RDP 2015, Jun. 30, 2015, WCMCS, Warsaw. From syntax to semantics of Dependent Type Theories - Formalized by Vladimir Voevodsky DocID: 1rbMo - View Document
	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg DocID: 1p7Wu - View Document
	Uniqueness Typing Simplified—Technical Appendix Edsko de Vries∗ Department of Computer Science Trinity College Dublin, Ireland August 13, 2008 DocID: 1p4JM - View Document
	Applied Foundations: Proof Mining in Mathematics Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade DocID: 1o9To - View Document