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

151 Tree automata techniques and applications – Hubert Comon, Max Dauchet, Florent Jacquemard, Denis Lugiez, Sophie Tison, Marc Tommasi - 1997
63 Containers: Constructing strictly positive types – M Abbott, T Altenkirch, N Ghani - 2005
43 V.: Automata and algebras in categories – J Adámek, Trnková - 1990
31 Relational algebras – M Barr - 1970
21 Fuzzy Machines in a category – M A ARBIB, E G MANES - 1975
16 Machines in a category: An expository introduction – M A Arbib, E G Manes - 1974
14 Adjoint machines, state-behaviour machines, and duality – M A Arbib, E G Manes - 1975
14 Syntactic Structures as Multi-dimensional Trees – James Rogers
9 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006
9 Inductive Data Types for Predicate Transformers – Oege De Moor - 1995