F-coalgebra - PDFSEARCH.IO - Document Search Engine

F-coalgebra
Results: 41

#	Item
31	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
32	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
33	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
34	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
35	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
36	PDF Document Add to Reading List Source URL: lcsd05.cs.tamu.edu Language: English - Date: 2006-06-28 09:22:00 Abstract algebra Generic programming Initial algebra F-coalgebra Catamorphism F-algebra Functor Standard Template Library Fold Category theory Declarative programming Mathematics
37	PDF Document Add to Reading List Source URL: philo.ruc.edu.cn Language: English - Date: 2008-12-25 08:07:55 Model theory Modal logic Philosophical logic Non-classical logic Kripke semantics Sheaf theory First-order logic Bisimulation F-coalgebra Logic Mathematical logic Mathematics
38	PDF Document Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2012-09-27 09:48:01 Functional programming Algebra F-coalgebra Coalgebra Initial algebra F-algebra Cofree coalgebra Bialgebra Monad Category theory Mathematics Abstract algebra
39	PDF Document Add to Reading List Source URL: condor.depaul.edu Language: English Monoidal categories Category theory Coalgebra Comodule Hopf algebra F-coalgebra Injective hull Representation theory Bialgebra Abstract algebra Algebra Module theory
40	PDF Document Add to Reading List Source URL: arxiv.org Language: English Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic

UPDATE