Computational Comonads and Intensional Semantics (1991)

by Stephen Brookes , Shai Geva
Citations:28 - 1 self