nLab
Gian Luca Cattani

Selected writings

Selected writings

On profunctors with application to computer science:

  • Gian Luca Cattani, Presheaf Models for Concurrency, PhD thesis from BRICS, University of Aarhus 1999 (pdf, pdf)

  • Gian Luca Cattani, G. Winskel, Profunctors, Open Maps, and Bisimulation , BRICS Report 04-22 (2004). (pdf)

category: people

Last revised on October 15, 2021 at 11:08:33. See the history of this page for a list of all contributions to it.