F-coalgebra

Results: 41



#Item
11. 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
2Journal 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
3Foundational, 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
4Robin 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
5Towards 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
6HOPF 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
7Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Representing Streams in Second Order Logic (Coinduction and Coalgebra in Second Order Logic) Herman Geuvers Radboud University Nijmegen and

Add to Reading List

Source URL: www.cs.ru.nl

Language: English - Date: 2013-01-17 04:22:03
8Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK

Similarity Quotients as Final Coalgebras Paul Blain Levy⋆ University of Birmingham, UK

Add to Reading List

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

Language: English - Date: 2011-04-02 14:59:57
9Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science

Proving Safety Properties of Rewrite Theories Camilo Rocha Jos´e Meseguer Department of Computer Science

Add to Reading List

Source URL: calco2011.ecs.soton.ac.uk

Language: English - Date: 2011-09-15 16:32:16