Michael A. Warren

Available identifiers

Publication	Date of Publication	Type
Transcendental Functions with a Complex Twist	2018-05-11	Paper
Real Polynomials with a Complex Twist	2018-05-11	Paper
Dynamic mode decomposition for interconnected control systems	2017-09-08	Paper
https://portal.mardi4nfdi.de/entity/Q2969774	2017-03-23	Paper
The Local Universes Model	2017-01-30	Paper
A univalent formalization of the p-adic numbers	2016-07-27	Paper
Voevodsky’s Univalence Axiom in Homotopy Type Theory	2015-10-14	Paper
Bicategorical fibration structures and stacks	2015-04-28	Paper
Homotopy type theory and Voevodsky’s univalent foundations	2014-12-08	Paper
Martin-Löf complexes	2013-12-11	Paper
Combinatorial realizability models of type theory	2013-12-11	Paper
Model structures from a monad on presheaves	2013-02-07	Paper
A characterization of representable intervals	2012-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3093873	2011-10-19	Paper
Lawvere–Tierney sheaves in Algebraic Set Theory	2009-09-29	Paper
Homotopy theoretic models of identity types	2009-01-30	Paper
Coalgebras in a category of classes	2007-04-18	Paper
https://portal.mardi4nfdi.de/entity/Q4680361	2005-06-01	Paper

This page was built for person: Michael A. Warren