Publisher
Open Publishing Association
Reference15 articles.
1. Intersection and Union Types: Syntax and Semantics;Barbanera;Information and Computation,1995
2. Provable isomorphisms of types;Bruce;Mathematical Structures in Computer Science,1992
3. Provable Isomorphisms and Domain Equations in Models of Typed Languages;Bruce,1985
4. Isomorphism of Intersection and Union Types;Coppo;Mathematical Structures in Computer Science,2013
5. Orderings for term-rewriting systems;Dershowitz;Theoretical Computer Science,1982
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Retractions in Intersection Types;Electronic Proceedings in Theoretical Computer Science;2017-02-07
2. Isomorphism of intersection and union types;Mathematical Structures in Computer Science;2015-08-07
3. On Isomorphism of "Functional" Intersection and Union Types;Electronic Proceedings in Theoretical Computer Science;2015-03-17
4. Typing Multi-Agent Systems via Commitments;Engineering Multi-Agent Systems;2014