A categorical model for the geometry of interaction

Esfandiar Haghverdi, Philip J. Scott. A categorical model for the geometry of interaction. Theoretical Computer Science, 350(2-3):252-274, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.