Results 1 -
1 of
1
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 |
