| Publication | Date of Publication | Type |
|---|
Martin-Löf identity types in C-systems
Publications Mathématiques | 2023-12-18 | Paper |
C-system of a module over a \(Jf\)-relative monad
Journal of Pure and Applied Algebra | 2023-03-09 | Paper |
A cubical approach to straightening
Journal of Topology | 2021-02-17 | Paper |
scientific article; zbMATH DE number 7204300 (Why is no real title available?)
| 2020-05-26 | Paper |
Lawvere theories and C-systems
Proceedings of the American Mathematical Society | 2020-04-07 | Paper |
Categorical structures for type theory in univalent foundations
| 2018-09-26 | Paper |
The (Pi,lambda)-structures on the C-systems defined by universe categories
| 2017-02-14 | Paper |
C-systems defined by universe categories: presheaves
| 2017-02-14 | Paper |
Products of families of types and (Pi,lambda)-structures on C-systems
| 2017-01-06 | Paper |
Subsystems and regular quotients of C-systems
A Panorama of Mathematics: Pure and Applied | 2016-07-29 | Paper |
An experimental library of formalized mathematics based on the univalent foundations
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
A univalent formalization of the \(p\)-adic numbers
Mathematical Structures in Computer Science | 2016-07-27 | Paper |
C-system of a module over a $Jf$-relative monad
| 2016-01-31 | Paper |
Lawvere theories and Jf-relative monads
| 2016-01-09 | Paper |
A C-system defined by a universe category
| 2015-12-14 | Paper |
Products of families of types in the C-systems defined by a universe category
| 2015-03-23 | Paper |
B-systems
| 2014-10-20 | Paper |
C-system of a module over a monad on sets
| 2014-07-12 | Paper |
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
| 2014-02-22 | Paper |
Experimental library of univalent formalization of mathematics
| 2013-12-30 | Paper |
Univalence in Simplicial Sets
| 2012-03-12 | Paper |
Univalent semantics of constructive type theories
Certified Programs and Proofs | 2011-11-22 | Paper |
On motivic cohomology with \(\mathbb{Z}/l\)-coefficients
Annals of Mathematics. Second Series | 2011-10-20 | Paper |
Univalent foundations of mathematics
Logic, Language, Information and Computation | 2011-05-27 | Paper |
Motivic Eilenberg-MacLane spaces
Publications Mathématiques | 2011-04-01 | Paper |
Cancellation theorem
Documenta Mathematica | 2010-12-16 | Paper |
Simplicial radditive functors
Journal of \(K\)-Theory | 2010-06-11 | Paper |
Motives over simplicial schemes
Journal of \(K\)-Theory | 2010-04-08 | Paper |
Homotopy theory of simplicial sheaves in completely decomposable topologies
Journal of Pure and Applied Algebra | 2010-03-08 | Paper |
Unstable motivic homotopy categories in Nisnevich and cdh-topologies
Journal of Pure and Applied Algebra | 2010-03-08 | Paper |
Lectures on motivic cohomology 2000/2001 (written by Pierre Deligne)
| 2008-05-28 | Paper |
An exact sequence for \(K^M_*/2\) with applications to quadratic forms
Annals of Mathematics. Second Series | 2007-05-29 | Paper |
Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002
Universitext | 2007-01-15 | Paper |
scientific article; zbMATH DE number 5071238 (Why is no real title available?)
| 2006-11-08 | Paper |
Lecture notes on motivic cohomology
| 2006-09-04 | Paper |
Reduced power operations in motivic cohomology
Publications Mathématiques | 2004-10-28 | Paper |
Motivic cohomology with \(\mathbb Z/2\)-coefficients
Publications Mathématiques | 2004-10-28 | Paper |
scientific article; zbMATH DE number 2078162 (Why is no real title available?)
| 2004-07-07 | Paper |
scientific article; zbMATH DE number 1803815 (Why is no real title available?)
| 2003-04-11 | Paper |
scientific article; zbMATH DE number 1445142 (Why is no real title available?)
| 2003-02-14 | Paper |
Motivic cohomology groups are isomorphic to higher Chow groups in any characteristic.
IMRN. International Mathematics Research Notices | 2002-06-23 | Paper |
\(\mathbb{A}^1\)-homotopy theory of schemes
Publications Mathématiques | 2001-11-11 | Paper |
On 2-torsion in motivic cohomology
| 2001-07-15 | Paper |
scientific article; zbMATH DE number 1526535 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1526538 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1526536 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1526537 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1526534 (Why is no real title available?)
| 2000-11-06 | Paper |
scientific article; zbMATH DE number 1421300 (Why is no real title available?)
| 2000-06-07 | Paper |
Cycles, Transfers, and Motivic Homology Theories. (AM-143)
| 1999-01-17 | Paper |
\(\mathbb{A}^1\)-homotopy theory
Documenta Mathematica | 1998-08-24 | Paper |
Homology of schemes
Selecta Mathematica. New Series | 1997-09-14 | Paper |
Singular homology of abstract algebraic varieties
Inventiones Mathematicae | 1996-06-18 | Paper |
scientific article; zbMATH DE number 760343 (Why is no real title available?)
IMRN. International Mathematics Research Notices | 1995-06-01 | Paper |
scientific article; zbMATH DE number 647417 (Why is no real title available?)
| 1995-03-28 | Paper |
Braided monoidal 2-categories and Manin-Schechtman higher braid groups
Journal of Pure and Applied Algebra | 1994-04-04 | Paper |
On Galois groups of functional fields over fields of finite type over $ \mathbb{Q}$
Russian Mathematical Surveys | 1992-06-27 | Paper |
scientific article; zbMATH DE number 29046 (Why is no real title available?)
| 1992-06-27 | Paper |
scientific article; zbMATH DE number 29045 (Why is no real title available?)
| 1992-06-27 | Paper |
GALOIS REPRESENTATIONS CONNECTED WITH HYPERBOLIC CURVES
Mathematics of the USSR-Izvestiya | 1992-06-27 | Paper |
Free \(n\)-category generated by a cube, oriented matroids, and higher Bruhat orders
Functional Analysis and Its Applications | 1992-06-25 | Paper |
ÉTALE TOPOLOGIES OF SCHEMES OVER FIELDS OF FINITE TYPE OVERQ
Mathematics of the USSR-Izvestiya | 1992-06-25 | Paper |
On Galois groups of function fields of finite type over \(\mathbb{Q}\)
| 1991-01-01 | Paper |
∞-Groupoids as a model for a homotopy category
Russian Mathematical Surveys | 1990-01-01 | Paper |
