Computational Comonads and Intensional Semantics (1991)

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