![Category theory / Functional programming / F-algebra / F-coalgebra / Functor / Initial algebra / Monad / Equivalence of categories / Coalgebra / Stoneech compactification Category theory / Functional programming / F-algebra / F-coalgebra / Functor / Initial algebra / Monad / Equivalence of categories / Coalgebra / Stoneech compactification](https://www.pdfsearch.io/img/4ffb5389930965554bced2c7e7a74a38.jpg) Date: 2015-01-25 16:18:54Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification | | Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, GermanyAdd to Reading ListSource URL: people.mpi-inf.mpg.deDownload Document from Source Website File Size: 227,31 KBShare Document on Facebook
|