Joachim Koch

Generating author description...

All published works

Action	Title	Year	Authors
+ PDF Chat	Direct asymmetry measurement of temperature and density spatial distributions in inertial confinement fusion plasmas from pinhole space-resolved spectra	2014	Taisuke Nagayama Roberto Mancini R. Florido Daniel Mayes R. Tommasini Joachim Koch J. A. Delettrez S. P. Regan V. A. Smalyuk
+	Homotopy Type Theory: Univalent Foundations of Mathematics	2013	Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster
+	Core Temperature and Density Gradients in ICF	2004	Joachim Koch

Common Coauthors

Coauthor	Papers Together
Bruno Barras	1
Chris Kapulkin	1
Eric Finster	1
Jeremy Avigad	1
Roberto Mancini	1
Per Martin‐Löf	1
Benedikt Ahrens	1
Marc Bezem	1
Daniel R. Licata	1
Daniel R. Grayson	1
Yves Bertot	1
Daniel Mayes	1
Nicolai Kraus	1
S. P. Regan	1
Peter LeFanu Lumsdaine	1
Emily Riehl	1
Robert Harper	1
Pieter Hofstra	1
Anthony Bordg	1
R. Florido	1
Andrew Polonsky	1
Sergey A. Melikhov	1
Benno van den Berg	1
Bas Spitters	1
Erik Palmgren	1
Richard Garner	1
Steve Awodey	1
Taisuke Nagayama	1
Nicola Gambino	1
Martı́n Hötzel Escardó	1
Peter Aczel	1
Peter Dybjer	1
Thorsten Altenkirch	1
Michael Nahas	1
Vladimir Voevodsky	1
R. Tommasini	1
Hugo Herbelin	1
Philip Scott	1
Kuen-Bang Hou	1
Matthieu Sozeau	1
Michael Shulman	1
V. A. Smalyuk	1
Álvaro Pelayo	1
Andrej Bauer	1
J. A. Delettrez	1
André Joyal	1
Georges Gonthier	1
Guillaume Brunerie	1
Carlo Angiuli	1
Kristina Sojakova	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	A Modern Perspective on Type Theory: From Its Origins Until Today	2004	Fairouz Kamareddine Twan Laan Rob Nederpelt	1
+ PDF Chat	ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES	1958	Von Kurt Gödel	1
+	Compactness and Continuity, Constructively Revisited	2002	Douglas Bridges Hajime Ishihara Peter Schuster	1
+ PDF Chat	Generalizations of Hedberg’s Theorem	2013	Nicolai Kraus Martı́n Hötzel Escardó Thierry Coquand Thorsten Altenkirch	1
+	Extensional concepts in intensional type theory	1995	Martin Hofmann	1
+	A Survey of (∞, 1)-Categories	2009	Julia E. Bergner	1
+	A model for the homotopy theory of homotopy theory	2000	Charles Rezk	1
+ PDF Chat	Inductive Types in Homotopy Type Theory	2012	Steve Awodey Nicola Gambino Kristina Sojakova	1
+	Wellfounded trees in categories	2000	Ieke Moerdijk Erik Palmgren	1
+ PDF Chat	Axiom of choice and complementation	1975	Radu Diaconescu	1
+	Weak ω-Categories from Intensional Type Theory	2009	Peter LeFanu Lumsdaine	1
+	Metric spaces, generalized logic, and closed categories	1973	F. William Lawvere	1
+ PDF Chat	Hot Dense Capsule-Implosion Cores Produced by<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mi>Z</mml:mi></mml:math>-Pinch Dynamic Hohlraum Radiation	2004	J. E. Bailey G. A. Chandler S. A. Slutz I. Golovkin P. W. Lake J. J. MacFarlane Roberto Mancini Trevor Burris-Mog G. W. Cooper R. J. Leeper	1
+ PDF Chat	Calculating the Fundamental Group of the Circle in Homotopy Type Theory	2013	Daniel R. Licata Michael Shulman	1
+	Real numbers and other completions	2008	Fred Richman	1
+ PDF Chat	The fundamental theorem of algebra: a constructive development without choice	2000	Fred Richman	1
+	Some free constructions in realizability and proof theory	1995	A. Carboni	1
+	A constructive and functorial embedding of locally compact metric spaces into locales	2007	Erik Palmgren	1
+	Homotopy Theoretic Aspects of Constructive Type Theory	2008	Michael A. Warren	1
+ PDF Chat	Extensional equality in intensional type theory	2003	Thorsten Altenkirch	1
+ PDF Chat	Type theories, toposes and constructive set theory: predicative aspects of AST	2002	Ieke Moerdijk Erik Palmgren	1
+	Setoids and universes	2010	Olov Wilander	1
+	THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS	2014	Krzysztof Kapulkin Peter LeFanu Lumsdaine Vladimir Voevodsky	1
+ PDF Chat	On the strength of dependent products in the type theory of Martin-Löf	2009	Richard Garner	1
+	Stack completions and Morita equivalence for categories in a topos	1979	Marta Bunge	1
+	Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets	2012	Erik Palmgren	1
+	Algebraic topology	2001	Allen Hatcher	1
+ PDF Chat	Types are weak <i>ω</i> -groupoids	2010	Benno van den Berg Richard Garner	1
+ PDF Chat	Homotopy theoretic models of identity types	2008	Steve Awodey Michael A. Warren	1
+ PDF Chat	Quantum Gauge Field Theory in Cohesive Homotopy Type Theory	2014	Urs Schreiber Michael Shulman	1
+	Strong stacks and classifying spaces	1991	André Joyal Myles Tierney	1
+	History and Philosophy of Constructive Type Theory	2000	Giovanni Sommaruga	1