F-coalgebra - PDFSEARCH.IO - Document Search Engine

F-coalgebra
Results: 41

#	Item
11	Introduction Supervisory control Coalgebraic formulation Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-09-18 15:58:57 Control theory Supervisory control F-coalgebra
12	Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2012-02-08 12:13:50 Recursion Theoretical computer science Computability theory Category theory Ordinal numbers F-coalgebra Fixed-point combinator Termination analysis Lambda calculus Mathematical logic Mathematics Computer programming
13	PDF Document Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2012-03-22 19:10:07 Category theory Recursion Functional programming Adjoint functors Programming idioms F-coalgebra Anamorphism Monad Variety Computer programming Software engineering Computing
14	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
15	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
16	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
17	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
18	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
19	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
20	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: 2002-09-27 12:57:43 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory

UPDATE