Discrete lawvere theories and computational effects (2006)

by J M E Hyland, A J Power
Venue:Theoretical Computer Science