Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 - Nicolaï - Document - PDFSEARCH.IO

First Page	Meta Content
	Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1 Add to Reading List Document Date: 2013-04-11 19:04:46 Open Document File Size: 301,37 KB Share Result on Facebook Facility Birmingham University of Gothenburg Abstract / stable X / stable A / University of Nottingham University / / IndustryTerm obvious associativity law holds / / Organization Nottingham University / University of Birmingham University / Institute for Advanced Study / / Position actual representative / Bishop / / SocialTag Function Adjoint functors Interpretation First-order logic Heyting algebra Mathematics Mathematical analysis Model theory

Generalizations of Hedberg’s Theorem Nicolai Kraus1 , Mart´ın Escard´o2 , Thierry Coquand3 , and Thorsten Altenkirch1Add to Reading List