Computational comonads and intensional semantics (1991)

by S Brookes, S Geva
Venue:In Applications of Categories in Computer Science: Proceedings LMS Symposium