Coalgebra - PDFSEARCH.IO - Document Search Engine

Coalgebra
Results: 69

#	Item
21	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-02-02 11:04:46 Computer programming Functional programming Memory management Category theory Type theory F-coalgebra Garbage collection Algebraic data type List Software engineering Computing Data types
22	NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Algebraic Structures on Ordered Rooted Trees and Their Significance to Lie Group Integrators by Add to Reading List Source URL: www.pvv.ntnu.no Language: English - Date: 2003-09-12 07:30:01 Monoidal categories Representation theory Algebras Lie groups Butcher group Universal enveloping algebra Lie algebra Coalgebra Bialgebra Abstract algebra Mathematics Hopf algebras
23	arXiv:hep-thApr 94 Tetramodules over the Hopf algebra of regular functions on a torus. Tanya Khovanova Department of Mathematics Add to Reading List Source URL: www.tanyakhovanova.com Language: English - Date: 2008-02-26 17:09:59 Hopf algebras Representation theory Module theory Lie algebras Quantum group Comodule Weight Coalgebra Von Neumann algebra Abstract algebra Algebra Monoidal categories
24	Coalgebra: Basic Concepts Paul Blain Levy University of Birmingham 1 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2012-10-30 15:46:26 Coalgebra Anamorphism Function F-algebra Initial algebra Category theory Mathematics F-coalgebra
25	PDF Document Add to Reading List Source URL: www.unibuc.ro Language: English - Date: 2011-06-27 08:52:23 Hopf algebras Category theory F-coalgebra Braided Hopf algebra Quasi-Hopf algebra Connection Nicolae Popescu Differential topology Abstract algebra Algebra Mathematics
26	Introduction Solution Applications Conclusion Coalgebraic Semantics of Recursion on Circular Data Structures Baltasar Trancón y Widemann (Technische Universität Berlin) Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-15 16:28:53 Programming idioms Theoretical computer science Category theory Computability theory F-coalgebra Recursion Pointer C Computer programming Computing Software engineering
27	LNCSThe Ackermann Award 2006 Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:22 Modal logic Philosophical logic Non-classical logic Hybrid logic Algebraic semantics F-coalgebra Abstract model theory Model theory Game semantics Logic Mathematics Mathematical logic
28	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: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
29	You can use a wide range of wild, cultivated or supermarket greens in this recipe. Consider nettles, beet tops, turnip tops, spinach, or watercress in place of chard. The combination is also up to you, so choose the ones Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2015-02-11 13:30:09 Homological algebra Algebraic topology Sheaf theory Homology theory Verdier duality Sheaf Duality Cohomology Coalgebra Abstract algebra Topology Mathematics
30	Sage Reference Manual: Category Theory Release 6.6.beta0 The Sage Development Team Add to Reading List Source URL: sagemath.org Language: English - Date: 2015-02-21 07:35:21 Mathematics Monoid Hopf algebra Semigroup Associative algebra Coalgebra Graded algebra Von Neumann algebra Category of rings Abstract algebra Algebra Algebraic structures

UPDATE