Sciweavers

101
Voted
TCS
2011
14 years 6 months ago
Musings around the geometry of interaction, and coherence
We introduce the Danos-Régnier category
Jean Goubault-Larrecq