Interpreting localized computational effects using operators of higher type (2008)

by John Longley
Venue:Logic and Theory of Algorithms, Fourth Conference on Computability in Europe, CiE 2008, Athens, volume 5028 of Lecture Notes in Computer Science