Παρακολούθηση
Michael A Warren
Michael A Warren
Άγνωστη συνεργασία
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα mawarren.net - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Homotopy theoretic models of identity types
S Awodey, MA Warren
Mathematical proceedings of the cambridge philosophical society 146 (1), 45-55, 2009
3672009
Homotopy theoretic aspects of constructive type theory
MA Warren
PhD thesis, Carnegie Mellon University, 2008
1142008
The local universes model: an overlooked coherence construction for dependent type theories
PLF Lumsdaine, MA Warren
ACM Transactions on Computational Logic (TOCL) 16 (3), 1-31, 2015
1062015
Homotopy type theory and Voevodsky’s univalent foundations
Á Pelayo, M Warren
Bulletin of the American Mathematical Society 51 (4), 597-648, 2014
552014
Voevodsky’s univalence axiom in homotopy type theory
S Awodey, Á Pelayo, MA Warren
Notices of the AMS 60 (9), 1164-1167, 2013
502013
Predicative algebraic set theory
S Awodey, MA Warren
Theory and applications of categories 15 (1), 1-39, 2005
332005
The strict ω-groupoid interpretation of type theory
MA Warren
Models, logics, and higher-dimensional categories 53, 291-340, 2011
232011
Bicategorical fibration structures and stacks
DA Pronk, MA Warren
arXiv preprint arXiv:1303.0340, 2013
192013
A univalent formalization of the p-adic numbers
Á Pelayo, V Voevodsky, MA Warren
Mathematical Structures in Computer Science 25 (5), 1147-1171, 2015
172015
Combinatorial realizability models of type theory
P Hofstra, MA Warren
Annals of Pure and Applied Logic 164 (10), 957-988, 2013
152013
Coalgebras in a category of classes
MA Warren
Annals of Pure and Applied Logic 146 (1), 60-71, 2007
102007
Dynamic mode decomposition for interconnected control systems
B Heersink, MA Warren, H Hoffmann
arXiv preprint arXiv:1709.02883, 2017
92017
Lawvere–Tierney sheaves in algebraic set theory
S Awodey, N Gambino, PL Lumsdaine, MA Warren
The Journal of Symbolic Logic 74 (3), 861-890, 2009
82009
Predicative categories of classes
MA Warren
Master’s thesis, Carnegie Mellon University, 2004
82004
The local universe model of type theory
PL Lumsdaine, MA Warren
preparation, 2012
72012
A preliminary univalent formalization of the p-adic numbers
A Pelayo, V Voevodsky, MA Warren
arXiv preprint arXiv:1302.1207, 2013
52013
Algebraic models of sets and classes in categories of ideals
S Awodey, H Forssell, MA Warren
Carnegie Mellon University, 2006
52006
A characterization of representable intervals
MA Warren
arXiv preprint arXiv:0903.3743, 2009
42009
Homotopy models of intensional type theory
MA Warren
Ph. D. thesis prospectus, Carnegie Mellon University, 2006
42006
Generate and verify: Semantically meaningful formal analysis of neural network perception systems
CR Serrano, PM Sylla, MA Warren
arXiv preprint arXiv:2012.09313, 2020
32020
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20