DMCA

Computational Comonads and Intensional Semantics (1991)

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