A categorical model for the geometry of interaction. Theoretical Computer Science (2006)

by E Haghverdi, P J Scott