Publisher
Open Publishing Association
Reference34 articles.
1. Functorial polymorphism;Bainbridge;Theoretical Computer Science,1990
2. Lecture Notes in Mathematics;Barr,1979
3. Linear Läuchli semantics;Blute;Ann. Pure Appl. Logic,1996
4. Proof nets and coherence theorems;Blute,1991
5. Linear Logic, coherence and dinaturality;Blute;Theoretical Computer Science,1993