Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg

First Page		Document Content
Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold		Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Download Document from Source Website File Size: 128,50 KB Share Document on Facebook

	INDEX THEORY AND GROUPOIDS CLAIRE DEBORD AND JEAN-MARIE LESCURE Abstract. These lecture notes are mainly devoted to a proof using groupoids and KK-theory of Atiyah and Singer’s index theorem on compact smooth manifolds DocID: 1xVj5 - View Document
	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 DocID: 1xUA7 - View Document
	Proof Articles Sharing Proofs Theory Packages DocID: 1vgUI - View Document
	The theory of canonical lifts for abelian varieties (draft version) Chloe Martindale February 10, 2016 These notes are from a talk at Leiden University, of which the aim was to understand Drinfeld’s proof of the Serre- DocID: 1uZwX - View Document
	A00137: Proof of Work as it relates to the theory of the firm. Proof of Work as it relates to the theory of the firm. DocID: 1uTc3 - View Document