Derivatives of Containers
- 27 May 2003
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Categories of ContainersLecture Notes in Computer Science, 2003
- Linear Contexts, Sharing Functors: Techniques for Symbolic ComputationApplied Logic Series, 2003
- The ZipperJournal of Functional Programming, 1997
- Locally Presentable and Accessible CategoriesPublished by Cambridge University Press (CUP) ,1994
- Foncteurs analytiques et espèces de structuresLecture Notes in Mathematics, 1986