Sciweavers

CTCS
1997
Springer

Presheaf Models for the pi-Calculus

14 years 4 months ago
Presheaf Models for the pi-Calculus
Gian Luca Cattani, Ian Stark, Glynn Winskel
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where CTCS
Authors Gian Luca Cattani, Ian Stark, Glynn Winskel
Comments (0)