CTFP13 /
LiteraturePick
Literature Picks
Baldur
- Pipes and Filters: Modelling a Software Architecture Through Relations
- Towards a Categorical Theory of Creativity for Music, Discourse, and Cognition
- Modeling Martin Löf Type Theory in Categories
- Sets in homotopy type theory
- W-TYPES IN HOMOTOPY TYPE THEORY
- Theory and Practice of Fusion, Stream Fusion: Practical shortcut fusion for coinductive sequence types, Functional Programming with Bananas, Lenses,. Envelopes and Barbed Wire
Fabian
- Unifying Structured Recursion Schemes
- Adjoint Folds and Unfolds
- Reason Isomorphically!
- When is one thing equal to some other thing?
- Types as theories
- A hidden agenda
- The Difference between Recursion & Induction
Stefan
- http://arxiv.org/pdf/1012.5647v3.pdf
- http://therisingsea.org/notes/FoundationsForCategoryTheory.pdf
- http://link.springer.com/chapter/10.1007/BFb0059148
- http://www.tc.umn.edu/~hellm001/Publications/CategoryTheory.pdf
- http://math.ucr.edu/home/baez/topos.html
- http://math.stanford.edu/~feferman/papers/BernaysLecture3.pdf
Víctor
- Proving the Unique Fixed-Point Principle Correct — An adventure with CT (Hinze, 2011)
- Category Theory for Operational Semantics (Lenisa, 2004) (mirror)
- Semantic Interoperability via Category Theory (Cafezeiro, 2007) (mirror)
- Foundational, Compositional (Co)datatypes for Higher-Order Logic (Traytel, 2012)
- Towards a Readable Formalisation of Category Theory (O'Keefe, 2004)
- Internal Diagrams and Archetypal Reasoning in Category Theory (Ochs, 2013) . Revised version of Internal Diagrams in Category Theory (Ochs, 2010)
Evgeny
- Comonadic notion of computations (Uustalu, Vene, 2008)
- Functional Programming with Bananas, Lenses, Envelopes and Barber Wire (Meijer et al, 1991)
- Sorting Morphisms (Augusteijn, 1998)
- Generalising Monads to Arrows (Hughes, 2000)
- Call-by-value is dual to call-by-name (Wadler, 2003)