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

	Philosophy of Mathematics SIGMAA Charter DocID: 1vqOI - View Document
	POMSIGMAA Newsletter Spring/Summer, 2008 Greetings from the Executive Board of POMSIGMAA, the Special Interest Group of the Mathematical Association of America for the Philosophy of Mathematics. We have newsletters twi DocID: 1vfZq - View Document
	Philosophy of Mathematics SIGMAA Charter DocID: 1vcBM - View Document
	Announcement Novembertagung on the History of Mathematics 2017 Theme: “Tools for research in mathematics, history and philosophy” in Brussels, Belgium November 2-4, 2017 DocID: 1v2tx - View Document
	Q-Curves with Complex Multiplication Ley Wilson A thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Pure Mathematics DocID: 1v1R7 - View Document