Computational Comonads and Intensional Semantics (1991)

by Stephen Brookes , Shai Geva
Citations:34 - 2 self