Coalgebra

Results: 69



#Item
41Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource

Resource bisimilarity and graded bisimilarity coincideI Luca Aceto∗, Anna Ingolfsdottir, Joshua Sack ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland Abstract Resource

Add to Reading List

Source URL: www.ru.is

Language: English - Date: 2010-10-27 04:45:47
42Sage Reference Manual: Category Theory Release 6.3 The Sage Development Team

Sage Reference Manual: Category Theory Release 6.3 The Sage Development Team

Add to Reading List

Source URL: www.sagemath.org

Language: English - Date: 2014-11-16 14:58:22
43Ambidexterity in K(n)-Local Stable Homotopy Theory Michael Hopkins and Jacob Lurie December 19, 2013 Contents 1 Multiplicative Aspects of Dieudonne

Ambidexterity in K(n)-Local Stable Homotopy Theory Michael Hopkins and Jacob Lurie December 19, 2013 Contents 1 Multiplicative Aspects of Dieudonne

Add to Reading List

Source URL: www.math.harvard.edu

Language: English - Date: 2013-12-19 12:27:06
44On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C

On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C

Add to Reading List

Source URL: www.cs.unibo.it

Language: English - Date: 2009-04-06 03:37:20
45A Study of Categories of Algebras and Coalgebras Jesse Hughes May, 2001 Department of Philosophy

A Study of Categories of Algebras and Coalgebras Jesse Hughes May, 2001 Department of Philosophy

Add to Reading List

Source URL: www.andrew.cmu.edu

Language: English - Date: 2014-06-01 15:27:30
46The fake monster formal group. 27 May, 31 Dec 1998 Duke Math J. Vol 100 No[removed]), [removed]Richard E. Borcherds, ∗

The fake monster formal group. 27 May, 31 Dec 1998 Duke Math J. Vol 100 No[removed]), [removed]Richard E. Borcherds, ∗

Add to Reading List

Source URL: math.berkeley.edu

Language: English - Date: 1999-12-09 18:06:33
47Vertex algebras. 10 June 1997, corrected 19 June, 26 June, 26 September. Topological field theory, primitive forms and related topics (Kyoto, 1996), 35–77, Progr. Math., 160, Birkh¨

Vertex algebras. 10 June 1997, corrected 19 June, 26 June, 26 September. Topological field theory, primitive forms and related topics (Kyoto, 1996), 35–77, Progr. Math., 160, Birkh¨

Add to Reading List

Source URL: math.berkeley.edu

Language: English - Date: 1999-12-09 18:10:46
48Abstract. The lecture notes contains an introduction to quantum groups, q-special functions and their interplay. After generalities on Hopf algebras, orthogonal polynomials and basic hypergeometric series we work out the

Abstract. The lecture notes contains an introduction to quantum groups, q-special functions and their interplay. After generalities on Hopf algebras, orthogonal polynomials and basic hypergeometric series we work out the

Add to Reading List

Source URL: www.numerical-yoga-guru-rupnathji.net46.net

Language: English - Date: 2013-02-20 07:27:06
49Computing Science Group Coalgebras, Chu Spaces, and Representations of Physical Systems Samson Abramsky

Computing Science Group Coalgebras, Chu Spaces, and Representations of Physical Systems Samson Abramsky

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2013-06-06 21:36:15
50Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999

Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-04-29 07:49:48