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