Grayson, Daniel R. An introduction to univalent foundations for mathematicians. (English) Zbl 1461.03012 Bull. Am. Math. Soc., New Ser. 55, No. 4, 427-450 (2018). MSC: 03B38 03B35 03G30 18A15 55U35 PDF BibTeX XML Cite \textit{D. R. Grayson}, Bull. Am. Math. Soc., New Ser. 55, No. 4, 427--450 (2018; Zbl 1461.03012) Full Text: DOI arXiv OpenURL
The Univalent Foundations Program [Aczel, Peter; Ahrens, Benedikt; Altenkirch, Thorsten; Awodey, Steve; Barras, Bruno; Bauer, Andrej; Bertot, Yves; Bezem, Marc; Coquand, Thierry; Finster, Eric; Grayson, Daniel; Herbelin, Hugo; Joyal, Andre; Licata, Dan; Lumsdaine, Peter; Mahboubi, Assia; Martin-Lof, Per; Melikhov, Sergey; Pelayo, Alvaro; Polonsky, Andrew; Shulman, Michael; Sozeau, Matthieu; Spitters, Bas; van den Berg, Benno; Voevodsky, Vladimir; Warren, Michael; Zeilberger, Noam; Angiuli, Carlo; Bordg, Anthony; Brunerie, Guillaume; Kapulkin, Chris; Rijke, Egbert; Sojakova, Kristina; Avigad, Jeremy; Cohen, Cyril; Constable, Robert; Curien, Pierre-Louis; Dybjer, Peter; Escardo, Martín; Hou, Kuen-Bang; Gambino, Nicola; Garner, Richard; Gonthier, Georges; Hales, Thomas; Harper, Robert; Hofmann, Martin; Hofstra, Pieter; Kock, Joachim; Kraus, Nicolai; Li, Nuo; Luo, Zhaohui; Nahas, Michael; Palmgren, Erik; Riehl, Emily; Scott, Dana; Scott, Philip; Soloviev, Sergei] Homotopy type theory. Univalent foundations of mathematics. (English) Zbl 1298.03002 Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press. ix, 468 p. (2013). Reviewer: Marco Benini (Buccinasco) MSC: 03-02 55-02 03B15 03G30 18A15 18B05 55U40 PDF BibTeX XML Cite \textit{The Univalent Foundations Program}, Homotopy type theory. Univalent foundations of mathematics. Princeton, NJ: Institute for Advanced Study; Raleigh, NC: Lulu Press (2013; Zbl 1298.03002) Full Text: arXiv Link OpenURL
Grayson, Daniel R. Algebraic \(K\)-theory via binary complexes. (English) Zbl 1276.19003 J. Am. Math. Soc. 25, No. 4, 1149-1167 (2012). Reviewer: Stratos Prassidis (Karlovassi) MSC: 19D99 18E10 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Am. Math. Soc. 25, No. 4, 1149--1167 (2012; Zbl 1276.19003) Full Text: DOI OpenURL
Grayson, Daniel R. The motivic spectral sequence. (English) Zbl 1100.19002 Friedlander, Eric M. (ed.) et al., Handbook of \(K\)-theory. Vol. 1 and 2. Berlin: Springer (ISBN 3-540-23019-X/hbk). 39-69 (2005). MSC: 19E15 14F42 18G40 PDF BibTeX XML Cite \textit{D. R. Grayson}, in: Handbook of \(K\)-theory. Vol. 1 and 2. Berlin: Springer. 39--69 (2005; Zbl 1100.19002) OpenURL
Grayson, Daniel R. On the K-theory of fields. (English) Zbl 0705.19004 Algebraic \(K\)-theory and algebraic number theory, Proc. Semin., Honolulu/Hawaii 1987, Contemp. Math. 83, 31-55 (1989). Reviewer: C.-H.Sah MSC: 19Fxx 11R70 18F25 19-02 12G99 PDF BibTeX XML OpenURL
Grayson, Daniel R. Exterior power operations on higher K-theory. (English) Zbl 0701.18007 \(K\)-Theory 3, No. 3, 247-260 (1989). Reviewer: R.J.Steiner MSC: 18F25 19D99 PDF BibTeX XML Cite \textit{D. R. Grayson}, \(K\)-Theory 3, No. 3, 247--260 (1989; Zbl 0701.18007) Full Text: DOI OpenURL
Grayson, Daniel R. The K-theory of semilinear endomorphisms. (English) Zbl 0656.16011 J. Algebra 113, No. 2, 358-372 (1988). Reviewer: M.E.Keating MSC: 16E20 16W60 16W20 18F25 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Algebra 113, No. 2, 358--372 (1988; Zbl 0656.16011) Full Text: DOI OpenURL
Grayson, Daniel R. Exact sequences in algebraic K-theory. (English) Zbl 0629.18010 Ill. J. Math. 31, 598-617 (1987). Reviewer: M.Stein MSC: 18F25 18E10 PDF BibTeX XML Cite \textit{D. R. Grayson}, Ill. J. Math. 31, 598--617 (1987; Zbl 0629.18010) OpenURL
Gillet, Henri; Grayson, Daniel R. The loop space of the Q-construction. (English) Zbl 0628.55011 Ill. J. Math. 31, 574-597 (1987); erratum ibid. 47, No. 3, 745-748 (2003). Reviewer: M.Stein MSC: 55U35 55U10 18F25 55P35 PDF BibTeX XML Cite \textit{H. Gillet} and \textit{D. R. Grayson}, Ill. J. Math. 31, 574--597 (1987; Zbl 0628.55011) OpenURL
Grayson, Daniel R. Universal exactness in algebraic K-theory. (English) Zbl 0558.18007 J. Pure Appl. Algebra 36, 139-141 (1985). Reviewer: V.P.Snaith MSC: 18F25 14C35 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 36, 139--141 (1985; Zbl 0558.18007) Full Text: DOI OpenURL
Grayson, Daniel R. Finite generation of K-groups of a curve over a finite field. (After Daniel Quillen). (English) Zbl 0502.14004 Algebraic \(K\)-theory, Proc. Conf., Oberwolfach 1980, Part I, Lect. Notes Math. 966, 69-90 (1982). MSC: 14C35 14H99 13D15 18F25 PDF BibTeX XML Backlinks: MO OpenURL
Grayson, Daniel R. Dilogarithm computations for \(K_ 3\). (English) Zbl 0509.18017 Algebraic \(K\)-theory, Proc. Conf., Evanston 1980, Lect. Notes Math. 854, 168-178 (1981). MSC: 18F25 11S70 11R42 11R11 PDF BibTeX XML OpenURL
Grayson, Daniel R. \(SK_ 1\) of an interesting principal ideal domain. (English) Zbl 0467.18004 J. Pure Appl. Algebra 20, 157-163 (1981). MSC: 18F25 37D15 18F30 13D15 16E20 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 20, 157--163 (1981; Zbl 0467.18004) Full Text: DOI OpenURL
Grayson, Daniel R. K-theory and localization of noncommutative rings. (English) Zbl 0441.16020 J. Pure Appl. Algebra 18, 125-127 (1980). MSC: 16E20 16P50 18F25 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 18, 125--127 (1980; Zbl 0441.16020) Full Text: DOI OpenURL
Grayson, Daniel R. Localization for flat modules in algebraic K-theory. (English) Zbl 0436.18010 J. Algebra 61, 463-496 (1979). MSC: 18F25 18E10 18E35 14C15 14C35 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Algebra 61, 463--496 (1979; Zbl 0436.18010) Full Text: DOI OpenURL
Grayson, Daniel R. Algebraic cycles and algebraic K-theory. (English) Zbl 0436.18009 J. Algebra 61, 129-151 (1979). MSC: 18F25 14C15 18E10 18E35 14C35 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Algebra 61, 129--151 (1979; Zbl 0436.18009) Full Text: DOI OpenURL
Grayson, Daniel R. \(K_2\) and the \(K\)-theory of automorphisms. (English) Zbl 0413.18011 J. Algebra 58, 12-30 (1979). MSC: 18F25 18E10 16Gxx 18G05 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Algebra 58, 12--30 (1979; Zbl 0413.18011) Full Text: DOI OpenURL
Grayson, Daniel R. The K-theory of hereditary categories. (English) Zbl 0372.18004 J. Pure Appl. Algebra 11(1977), 67-74 (1978). MSC: 18F25 16P50 13D15 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Pure Appl. Algebra 11, 67--74 (1978; Zbl 0372.18004) Full Text: DOI OpenURL
Grayson, Daniel R. Projections, cycles, and algebraic \(K\)-theory. (English) Zbl 0358.18012 Math. Ann. 234, 69-72 (1978). Reviewer: Daniel R. Grayson MSC: 18F25 PDF BibTeX XML Cite \textit{D. R. Grayson}, Math. Ann. 234, 69--72 (1978; Zbl 0358.18012) Full Text: DOI EuDML OpenURL
Grayson, Daniel R. The K-theory of endomorphisms. (English) Zbl 0413.18010 J. Algebra 48, 439-446 (1977). MSC: 18F25 18E10 16Gxx 18G05 PDF BibTeX XML Cite \textit{D. R. Grayson}, J. Algebra 48, 439--446 (1977; Zbl 0413.18010) Full Text: DOI OpenURL
Grayson, Daniel Higher algebraic K-theory: II. (English) Zbl 0362.18015 Algebr. \(K\)-Theory, Proc. Conf. Evanston 1976, Lect. Notes Math. 551, 217-240 (1976). MSC: 18F25 PDF BibTeX XML OpenURL