F-coalgebra - PDFSEARCH.IO - Document Search Engine

F-coalgebra
Results: 41

#	Item
1	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 Category theory Theoretical computer science Mathematics Bisimulation F-coalgebra Coinduction Functor Coalgebra Universal property
2	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 Algebra Abstract algebra Mathematics Ring theory Algebras Monoidal categories Representation theory Hopf algebra Coalgebra Graded ring F-algebra Algebra over a field
3	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 Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification
4	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 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
5	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 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
6	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 Homotopy theory Algebraic topology Hopf algebras Representation theory Steenrod algebra Cohomology H-space Coalgebra F-algebra StiefelWhitney class Ring Algebraic structure
7	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 Category theory Mathematics Theoretical computer science Software engineering Functional programming Computer programming Recursion F-coalgebra Coinduction Coalgebra Corecursion First-order logic
8	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 Order theory Algebraic topology F-coalgebra Coalgebra Partially ordered set Preorder Equivalence relation Functor Presentation of a group Mathematics Abstract algebra Category theory
9	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 Software engineering Functional languages Mathematical proof F-coalgebra ATS Computing Mathematics Mathematical logic Automated theorem proving

UPDATE