F-coalgebra - PDFSEARCH.IO - Document Search Engine

F-coalgebra
Results: 41

#	Item
21	Strong homotopy algebra categories via co-rings over operads Jonathan Scott Ontario Topology Seminar July 31, [removed] Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2007-08-07 15:14:31 Algebras Coalgebra Associative algebra Operad theory Lie algebra F-coalgebra Rational homotopy theory Abstract algebra Category theory Mathematics
22	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 Philosophical logic Category theory Theoretical computer science Modal logic Bisimulation Logic in computer science Kripke semantics F-coalgebra Monoid Mathematics Abstract algebra Logic
23	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 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
24	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 Mathematics Functional programming F-coalgebra Coalgebra Algebraic structures Initial algebra F-algebra Monad Variety Category theory Abstract algebra Algebra
25	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 Mathematics Coalgebra F-coalgebra Functor Chu space Natural transformation Fibred category Concrete category Sheaf Category theory Abstract algebra Algebra
26	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 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
27	AAA Arbeitstagung Allgemeine Algebra Workshop on General Algebra Add to Reading List Source URL: www.math.tu-dresden.de Language: English - Date: 2007-08-28 04:40:36 Algebraic structures Universal algebra Category theory Boolean algebra Semigroup Variety Relation algebra Monoid F-coalgebra Abstract algebra Mathematics Algebra
28	12345efghi UNIVERSITY OF WALES SWANSEA REPORT SERIES CALCO-jnr 2005 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2006-06-27 18:09:16 Algebra F-coalgebra Initial algebra F-algebra Coalgebra Functor Equivalence of categories Universal property Structure Category theory Abstract algebra Mathematics
29	martinLoefRetirementVolumeMain.dvi Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2011-06-09 14:56:40 Category theory Functional programming Data types Type theory Coalgebra Recursion Initial algebra F-coalgebra List Software engineering Declarative programming Computer programming
30	The Joys of Bisimulation Colin Stirling Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:00:26 Models of computation Theoretical computer science Model theory Logic in computer science Philosophical logic Bisimulation F-coalgebra Modal logic First-order logic Logic Mathematical logic Mathematics