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]

Abstract

Abstract is missing.