Definable Quotients in Type Theory Thorsten Altenkirch1 , Thomas Anberrée2 , and Nuo Li2 1

First Page		Document Content
Date: 2011-06-20 11:59:33 Field theory Elementary mathematics Group actions Coequalizer Epimorphism Structure Quotient space Quotient group Function Abstract algebra Mathematics Algebra		Definable Quotients in Type Theory Thorsten Altenkirch1 , Thomas Anberrée2 , and Nuo Li2 1 Add to Reading List Source URL: www.cs.nott.ac.uk Download Document from Source Website File Size: 527,71 KB Share Document on Facebook

	New York Journal of Mathematics New York J. Math–243. Unions of arcs from Fourier partial sums Dennis Courtney Abstract. Elementary complex analysis and Hilbert space methods DocID: 1tH06 - View Document
	New York Journal of Mathematics New York J. Math–243. Unions of arcs from Fourier partial sums Dennis Courtney Abstract. Elementary complex analysis and Hilbert space methods DocID: 1tGVZ - View Document
	School Report St. Joseph Catholic Elementary SchoolSchool Report Assessments of Reading, Writing and Mathematics DocID: 1tp6H - View Document
	New York Journal of Mathematics New York J. Math–469. An elementary approach to C ∗-algebras associated to topological graphs Hui Li, David Pask and Aidan Sims DocID: 1toIK - View Document
	School Report St. Elizabeth Catholic Elementary SchoolSchool Report Assessments of Reading, Writing and Mathematics DocID: 1tlKa - View Document