Presheaf Models for the pi-Calculus (1997)

by Gian Luca Cattani , Gian Luca Cattani , Ian Stark , Ian Stark , Glynn Winskel , Glynn Winskel
Citations:12 - 4 self

Document Versions

Presheaf Models for the pi-Calculus –Gian Luca Cattani, Gian Luca Cattani, Ian Stark, Ian Stark, Glynn Winskel, Glynn Winskel — 1997
Presheaf Models for the pi-Calculus –Gian Luca Cattani, Ian Stark, Glynn Winskel — 1997 — In Proceedings of CTCS '97, LNCS 1290
Presheaf Models for the π-Calculus –Gian Luca Cattani, Ian Stark, Glynn Winskel — 1997 — In Proceedings of the 7th International Conference on Category Theory and Computer Science, CTCS ’97, number 1290 in Lecture Notes in Computer Science