×

Found 35 Documents (Results 1–35)

Categorical structures for type theory in univalent foundations. (English) Zbl 1528.03100

Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 8, 16 p. (2017).
PDFBibTeX XMLCite
Full Text: DOI

Univalent semantics of constructive type theories. (English) Zbl 1250.03121

Jouannaud, Jean-Pierre (ed.) et al., Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-25378-2/pbk). Lecture Notes in Computer Science 7086, 70 (2011).
MSC:  03F50 03B15 55U40 68T15
PDFBibTeX XMLCite
Full Text: DOI

Univalent foundations of mathematics. (English) Zbl 1371.03097

Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 4 (2011).
MSC:  03F50 03B15 55U35 55U40 68T15
PDFBibTeX XMLCite
Full Text: DOI

Motivic homotopy theory. Lectures at a summer school in Nordfjordeid, Norway, August 2002. (English) Zbl 1118.14001

Universitext. Berlin: Springer (ISBN 978-3-540-45895-1/pbk). x, 220 p. (2007).
MSC:  14-01 18-01 55-01 19-01 14F42 55P42 18E30
PDFBibTeX XMLCite

Lecture notes on motivic cohomology. (English) Zbl 1115.14010

Clay Mathematics Monographs 2. Providence, RI: American Mathematical Society (AMS); Cambridge, MA: Clay Mathematics Institute (ISBN 0-8218-3847-4/hbk). xiv, 216 p. (2006).
PDFBibTeX XMLCite

Open problems in the motivic stable homotopy theory. I. (English) Zbl 1047.14012

Bogomolov, Fedor (ed.) et al., Motives, polylogarithms and Hodge theory. Part I: Motives and polylogarithms. Papers from the International Press conference, Irvine, CA, USA, June 1998. Somerville, MA: International Press (ISBN 1-57146-090-X). Int. Press Lect. Ser. 3, No. I, 3-34 (2002).
MSC:  14F42 14F35 14F25 19E15 19D45 18G55
PDFBibTeX XMLCite

A possible new approach to the motivic spectral sequence for algebraic \(K\)-theory. (English) Zbl 1009.19003

Davis, Donald M. (ed.) et al., Recent progress in homotopy theory. Proceedings of a conference, Baltimore, MD, USA, March 17-27, 2000. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 293, 371-379 (2002).
MSC:  19E15 55P42
PDFBibTeX XMLCite

Bloch-Kato conjecture and motivic cohomology with finite coefficients. (English) Zbl 1005.19001

Gordon, B. Brent (ed.) et al., The arithmetic and geometry of algebraic cycles. Proceedings of the NATO Advanced Study Institute, Banff, Canada, June 7-19, 1998. Vol. 1. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 548, 117-189 (2000).
MSC:  19E15 14F42 14C35
PDFBibTeX XMLCite

Voevodsky’s Seattle lectures: \(K\)-theory and motivic cohomology. (Notes by C. Weibel). (English) Zbl 0941.19001

Raskind, Wayne (ed.) et al., Algebraic \(K\)-theory. Proceedings of an AMS-IMS-SIAM summer research conference, Seattle, WA, USA, July 13-24, 1997. Providence, RI: American Mathematical Society. Proc. Symp. Pure Math. 67, 283-303 (1999).
PDFBibTeX XMLCite

\(\infty\)-groupoids as a model for a homotopy category. (English. Russian original) Zbl 0721.55015

Russ. Math. Surv. 45, No. 5, 239-240 (1990); translation from Usp. Mat. Nauk 45, No. 5(275), 183-184 (1990).
Reviewer: I.Pop (Iaşi)
MSC:  55U35 18G35 18B40
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Software