Computational Comonads and Intensional Semantics (1991)

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