The Girard-Reynolds Isomorphism
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
The Girard--Reynolds isomorphism
Information and Computation - TACS 2001
Pontrjagin duality and full completeness for multiplicative linear logic (without Mix)
Mathematical Structures in Computer Science
On the algebraic structure of declarative programming languages
Theoretical Computer Science
| Hi-index | 0.00 |