SU\G(𝔸)/K·U

Author Description

Login to generate an author description

Ask a Question About This Mathematician

All published works (9)

Action Title Date Authors
+ PDF Ask
Homotopy Type Theory: Univalent Foundations of Mathematics 2013-01-01 Peter Aczel Benedikt Ahrens Thorsten Altenkirch Steve Awodey Bruno Barras Andrej Bauer Yves Bertot Marc Bezem Thierry Coquand Eric Finster
+ PDF Ask
Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory 2011-09-04 Steve Awodey Richard Garner Per Martin-Löf Vladimir Voevodsky
+
A Construction of the Provable Wellorderings of the Theory of Species 2001-01-01 Per Martin-Löf
+
An intuitionistic theory of types 1998-10-15 Per Martin-Löf
+
On the meanings of the logical constants and the justifications of the logical laws 1996-01-01 Per Martin-Löf
+
Mathematics of infinity 1990-01-01 Per Martin-Löf
+
On the Notion of Randomness 1970-01-01 Per Martin-Löf
+
The definition of random sequences 1966-12-01 Per Martin-Löf
+
The Continuity Theorem on a Locally Compact Group 1965-01-01 Per Martin-Löf

Common Coauthors

Coauthor Papers Together
Steve Awodey 2
Vladimir Voevodsky 2
Richard Garner 2
Jeremy Avigad 1
Benedikt Ahrens 1
Marc Bezem 1
Daniel R. Licata 1
Daniel R. Grayson 1
Yves Bertot 1
Nicolai Kraus 1
Peter LeFanu Lumsdaine 1
Emily Riehl 1
Robert Harper 1
Pieter Hofstra 1
Joachim Koch 1
Anthony Bordg 1
Andrew Polonsky 1
Sergey A. Melikhov 1
Benno van den Berg 1
Bas Spitters 1
Erik Palmgren 1
Nicola Gambino 1
Martı́n Hötzel Escardó 1
Peter Aczel 1
Peter Dybjer 1
Thorsten Altenkirch 1
Michael Nahas 1
Hugo Herbelin 1
Philip Scott 1
Kuen-Bang Hou 1
Matthieu Sozeau 1
Michael Shulman 1
Álvaro Pelayo 1
Andrej Bauer 1
André Joyal 1
Georges Gonthier 1
Guillaume Brunerie 1
Carlo Angiuli 1
Kristina Sojakova 1
Egbert Rijke 1
Thierry Coquand 1
Zhaohui Luo 1
Nuo Li 1
Martin Hofmann 1
Michael A. Warren 1
Robert L. Constable 1
Cyril Cohen 1
Dana Scott 1
Sergei Soloviev 1
Pierre-Louis Curien 1

Commonly Cited References

Action Title Date Authors # of times referenced
+ PDF Ask
ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES 1958-12-01 Von Kurt Gödel 1
+
Compactness and Continuity, Constructively Revisited 2002-01-01 Douglas Bridges Hajime Ishihara Peter Schuster 1
+ PDF Ask
Generalizations of Hedberg’s Theorem 2013-01-01 Nicolai Kraus Martı́n Hötzel Escardó Thierry Coquand Thorsten Altenkirch 1
+
A Survey of (∞, 1)-Categories 2009-09-16 Julia E. Bergner 1
+
A model for the homotopy theory of homotopy theory 2000-06-20 Charles Rezk 1
+ PDF Ask
Inductive Types in Homotopy Type Theory 2012-06-01 Steve Awodey Nicola Gambino Kristina Sojakova 1
+
Eine Erweiterung der Infinitesimalrechnung 1958-12-01 Curt Schmieden Detlef Laugwitz 1
+
Wellfounded trees in categories 2000-07-01 Ieke Moerdijk Erik Palmgren 1
+ PDF Ask
Axiom of choice and complementation 1975-08-01 Radu Diaconescu 1
+
Weak ω-Categories from Intensional Type Theory 2009-01-01 Peter LeFanu Lumsdaine 1
+
Metric spaces, generalized logic, and closed categories 1973-12-01 F. William Lawvere 1
+ PDF Ask
Calculating the Fundamental Group of the Circle in Homotopy Type Theory 2013-06-01 Daniel R. Licata Michael Shulman 1
+
The definition of random sequences 1966-12-01 Per Martin-Löf 1
+
Real numbers and other completions 2008-01-30 Fred Richman 1
+ PDF Ask
The fundamental theorem of algebra: a constructive development without choice 2000-11-01 Fred Richman 1
+
Some free constructions in realizability and proof theory 1995-09-01 A. Carboni 1
+
A constructive and functorial embedding of locally compact metric spaces into locales 2007-03-04 Erik Palmgren 1
+ PDF Ask
Weak compactness and separate continuity 1961-03-01 Irving Glicksberg 1
+ PDF Ask
Fourier transforms and probability theory on a non-commutative locally compact topological group 1963-08-01 R. M. Loynes 1
+ PDF Ask
Extensional equality in intensional type theory 2003-01-20 Thorsten Altenkirch 1
+ PDF Ask
Type theories, toposes and constructive set theory: predicative aspects of AST 2002-04-01 Ieke Moerdijk Erik Palmgren 1
+
Setoids and universes 2010-04-07 Olov Wilander 1
+ PDF Ask
THE SIMPLICIAL MODEL OF UNIVALENT FOUNDATIONS 2014-01-01 Krzysztof Kapulkin Peter LeFanu Lumsdaine Vladimir Voevodsky 1
+ PDF Ask
On the strength of dependent products in the type theory of Martin-Löf 2009-02-02 Richard Garner 1
+
Stack completions and Morita equivalence for categories in a topos 1979-01-01 Marta Bunge 1
+ PDF Ask
Constructivist and Structuralist Foundations: Bishop's and Lawvere's Theories of Sets 2012-01-30 Erik Palmgren 1
+ PDF Ask
Types are weak <i>ω</i> -groupoids 2010-10-12 Benno van den Berg Richard Garner 1
+ PDF Ask
Homotopy theoretic models of identity types 2008-07-14 Steve Awodey Michael A. Warren 1
+ PDF Ask
Quantum Gauge Field Theory in Cohesive Homotopy Type Theory 2014-07-29 Urs Schreiber Michael Shulman 1
+ PDF Ask
Stochastic groups 1961-04-01 Ulf Grenander 1
+
Strong stacks and classifying spaces 1991-01-01 André Joyal Myles Tierney 1
+
History and Philosophy of Constructive Type Theory 2000-01-01 Giovanni Sommaruga 1