Martín Hötzel Escardó Achim Jung Thomas Streicher 139-140 2006 16 Mathematical Structures in Computer Science 2 http://dx.doi.org/10.1017/S096012950600510X db/journals/mscs/mscs16.html#EscardoJS06