Michael A. Warren

Available identifiers

zbMath Open warren.michael-aMaRDI QIDQ385802

List of research outcomes

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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael A. Warren