Coalgebra - PDFSEARCH.IO - Document Search Engine

Coalgebra
Results: 69

#	Item
51	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
52	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
53	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
54	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
55	LAWRENCE S. MOSS Department of Mathematics Indiana University Add to Reading List Source URL: www.indiana.edu Language: English - Date: 2013-09-30 17:07:20 Science Academic conferences Abstraction Axiology Institute for Logic Language and Computation Modal logic Mathematical logic F-coalgebra European Summer School in Logic Language and Information Logic Philosophical logic Academia
56	Lecture III Five Lie Algebras Add to Reading List Source URL: www.aimath.org Language: English - Date: 2013-12-11 12:47:03 Free Lie algebra Poisson bracket Lie coalgebra Algebraic structure Weight Universal enveloping algebra Kac–Moody algebra Abstract algebra Algebra Lie algebras
57	Electronic Communications of the EASST Volume X (2012) Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-02-19 08:06:32 Algebra Functional programming Monad Coalgebra F-coalgebra Equivalence of categories Natural transformation Functor F-algebra Adjoint functors Category theory Abstract algebra
58	Proceedings (preliminary version) 10th International Workshop on Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-03-24 09:06:18 Algebra Functional programming Adjoint functors Universal algebra Monad Model theory F-coalgebra Structure F-algebra Abstract algebra Mathematics Category theory
59	Let’s see how things unfold: reconciling the infinite with the intensional (extended abstract) Add to Reading List Source URL: strictlypositive.org Language: English - Date: 2009-05-23 04:50:00 Functional programming Mathematical logic Theoretical computer science Function Corecursion Coinduction F-coalgebra Anamorphism Universal quantification Category theory Mathematics Declarative programming
60	PDF Document Add to Reading List Source URL: www.csudh.edu Language: English - Date: 2009-02-18 18:45:18 Monoidal categories Algebras Category theory Coalgebra Hopf algebra Bialgebra F-coalgebra Algebra over a field Convolution Abstract algebra Algebra Mathematics