Presheaf Models for the pi-Calculus (1997)

by Gian Luca Cattani, Gian Luca Cattani, Ian Stark, Ian Stark, Glynn Winskel, Glynn Winskel