Similar Items: Untyping Typed Algebras and Colouring Cyclic Linear Logic
- On the logical complexity of cyclic arithmetic
- Initial Algebra Semantics for Cyclic Sharing Tree Structures
- Call-by-value Termination in the Untyped lambda-calculus
- Cyclic Datatypes modulo Bisimulation based on Second-Order Algebraic Theories
- Type Isomorphisms for Multiplicative-Additive Linear Logic
- Formal Theories for Linear Algebra