Dualizing Initial Algebras (2002)

Cached

Download Links

by Neil Ghani , Christoph Lüth , Federico de Marchi , John Power
Citations:1 - 1 self

Documents Related by Co-Citation

9 Inductive Data Types for Predicate Transformers – Oege De Moor - 1995
14 Syntactic Structures as Multi-dimensional Trees – James Rogers
20 Machines in a category – M A ARBIB, E G MANES - 1980
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
43 V.: Automata and algebras in categories – J Adámek, Trnková - 1990
31 Relational algebras – M Barr - 1970
149 Tree automata techniques and applications – Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi - 1997
61 Containers - constructing strictly positive types, Theoretical Computer Science 342 (2005) 3–27, applied Semantics: Selected Topics – M Abott, T Altenkirch, N Ghani
14 Adjoint machines, state-behaviour machines, and duality – M A Arbib, E G Manes - 1975
16 E.G.: Machines in a category: an expository introduction – M A Arbib, Manes - 1974