Similar Items: Type Isomorphisms for Multiplicative-Additive Linear Logic
- Isomorphisms of types in the presence of higher-order references (extended version)
- Definable isomorphism problem
- Constructing Fully Complete Models of Multiplicative Linear Logic
- Untyping Typed Algebras and Colouring Cyclic Linear Logic
- On the First-Order Complexity of Induced Subgraph Isomorphism
- A proof system for graph (non)-isomorphism verification