Cattani GL, Stark I, Winskel G. Presheaf Models for the pi-Calculus. BRICS [Internet]. 4. juni 1997 [henvist 5. december 2025];4(34). Tilgængelig hos: https://tidsskrift.dk/brics/article/view/18960