<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2015-01-25 16:18:54Category theory Functional programming F-algebra F-coalgebra Functor Initial algebra Monad Equivalence of categories Coalgebra Stoneech compactification |
Add to Reading List |
Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany | 769 Documenta Math. Characterisation of the Berkovich Spectrum of the Banach Algebra of Bounded Continuous FunctionsDocID: 1psnq - View Document |
| Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, GermanyDocID: 1oU48 - View Document |