pith. sign in

Michael A. Warren

Identifiers

  • name variant Michael A. Warren 0.60 · backfill

Papers (13)

  1. Introspection Learning cs.LG · 2019 · author #2
  2. Dynamic mode decomposition for interconnected control systems math.OC · 2017 · author #2
  3. The local universes model: an overlooked coherence construction for dependent type theories math.LO · 2014 · author #2
  4. Bicategorical fibration structures and stacks math.CT · 2013 · author #2
  5. Voevodsky's Univalence Axiom in homotopy type theory math.HO · 2013 · author #3
  6. Model structures from a monad on presheaves math.AT · 2013 · author #1
  7. A preliminary univalent formalization of the p-adic numbers math.LO · 2013 · author #3
  8. Homotopy type theory and Voevodsky's univalent foundations math.LO · 2012 · author #2
  9. Combinatorial realizability models of type theory math.LO · 2012 · author #2
  10. Martin-L\"of Complexes math.LO · 2009 · author #3
  11. A characterization of representable intervals math.CT · 2009 · author #1
  12. Lawvere-Tierney sheaves in algebraic set theory math.LO · 2007 · author #4
  13. Homotopy theoretic models of identity types math.LO · 2007 · author #2

Mentions

  • 1411.1736 #2 · backfill · confidence 0.70 Michael A. Warren
  • 1303.0340 #2 · backfill · confidence 0.70 Michael A. Warren
  • 1302.4731 #3 · backfill · confidence 0.70 Michael A. Warren
  • 1302.1782 #1 · backfill · confidence 0.70 Michael A. Warren
  • 1302.1207 #3 · backfill · confidence 0.70 Michael A. Warren
  • 1210.5658 #2 · backfill · confidence 0.70 Michael A. Warren
  • 1205.5527 #2 · backfill · confidence 0.70 Michael A. Warren
  • 0906.4521 #3 · backfill · confidence 0.70 Michael A. Warren
  • 0903.3743 #1 · backfill · confidence 0.70 Michael A. Warren
  • 0711.1529 #4 · backfill · confidence 0.70 Michael A. Warren
  • 0709.0248 #2 · backfill · confidence 0.70 Michael A. Warren

Frequent Coauthors