Monad-Based Logics for Computational Effects

Algebraic Methodology and Software Technology - Lecture Notes in Computer Science ◽

10.1007/11784180_3 ◽

2006 ◽

pp. 3-4

Author(s):

Till Mossakowski

Download Full-text