Back to Results
First PageMeta Content
Category 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, Germany
Add to Reading List

Document Date: 2015-01-25 16:18:54


Open Document

File Size: 227,31 KB

Share Result on Facebook
UPDATE