Coalgebra

Results: 69



#Item
1CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by

CALCO Early Ideas 2013 Warsaw, 2 September 2013 A satelite workshop of CALCO 2013 5th Conference on Algebra and Coalgebra in Computer Science Selected Papers edited by

Add to Reading List

Source URL: www-compsci.swan.ac.uk

- Date: 2014-07-11 07:33:31
    2Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdf

    Kawaguchi --- Fibered products of Hopf algebras and Seifert-van Kampen theorem for semi-graphs of Tannakian categories.pdf

    Add to Reading List

    Source URL: www.kurims.kyoto-u.ac.jp

    Language: English - Date: 2014-04-10 09:37:34
    31. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

    1. Bisimulation everywhere 2. The power of coinduction 3. More bisimulations, still

    Add to Reading List

    Source URL: events.inf.ed.ac.uk

    Language: English - Date: 2012-10-10 03:52:07
    41025 Documenta Math. The Pullbacks of Principal Coactions Piotr M. Hajac, Elmar Wagner

    1025 Documenta Math. The Pullbacks of Principal Coactions Piotr M. Hajac, Elmar Wagner

    Add to Reading List

    Source URL: documenta.sagemath.org

    Language: English - Date: 2014-10-13 06:32:22
    5Journal of Pure and Applied Algebra – 168 www.elsevier.com/locate/jpaa Splittings of bicommutative Hopf algebras Nitu Kitchlooa; c , Gerd Lauresb; d;1 , W. Stephen Wilsona;∗ a Department

    Journal of Pure and Applied Algebra – 168 www.elsevier.com/locate/jpaa Splittings of bicommutative Hopf algebras Nitu Kitchlooa; c , Gerd Lauresb; d;1 , W. Stephen Wilsona;∗ a Department

    Add to Reading List

    Source URL: www.math.jhu.edu

    Language: English - Date: 2014-03-30 15:19:15
    6THE MORAVA K-THEORY OF SPACES RELATED TO BO NITU KITCHLOO, GERD LAURES, AND W. STEPHEN WILSON Abstract. We calculate the (p = 2) Morava K-theory of all of the spaces in the connective Omega spectra for Z × BO, BO, BSO,

    THE MORAVA K-THEORY OF SPACES RELATED TO BO NITU KITCHLOO, GERD LAURES, AND W. STEPHEN WILSON Abstract. We calculate the (p = 2) Morava K-theory of all of the spaces in the connective Omega spectra for Z × BO, BO, BSO,

    Add to Reading List

    Source URL: www.math.jhu.edu

    Language: English - Date: 2014-03-30 15:19:14
    7Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

    Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany

    Add to Reading List

    Source URL: people.mpi-inf.mpg.de

    Language: English - Date: 2015-01-25 16:18:54
    8Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

    Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies

    Add to Reading List

    Source URL: events.inf.ed.ac.uk

    Language: English - Date: 2012-10-10 03:52:07
    9Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

    Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding

    Add to Reading List

    Source URL: www.paultaylor.eu

    Language: English - Date: 2009-02-12 12:52:32
    10HOPF RINGS IN ALGEBRAIC TOPOLOGY W. STEPHEN WILSON Abstract. These are colloquium style lecture notes about Hopf rings in algebraic topology. They were designed for use by non-topologists and graduate students but have b

    HOPF RINGS IN ALGEBRAIC TOPOLOGY W. STEPHEN WILSON Abstract. These are colloquium style lecture notes about Hopf rings in algebraic topology. They were designed for use by non-topologists and graduate students but have b

    Add to Reading List

    Source URL: www.math.jhu.edu

    Language: English - Date: 2014-03-30 15:19:14