Article,

A categorical model for the geometry of interaction.

, and .
Theor. Comput. Sci., 350 (2-3): 252-274 (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews