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]

Authors

Esfandiar Haghverdi

This author has not been identified. Look up 'Esfandiar Haghverdi' in Google

Philip J. Scott

This author has not been identified. Look up 'Philip J. Scott' in Google