Discrete Lawvere theories and computational effects

Martin Hyland, John Power. Discrete Lawvere theories and computational effects. Theoretical Computer Science, 366(1-2):144-162, 2006. [doi]

Abstract

Abstract is missing.