Browse by Person
![]() | Up a level |
Number of items: 1.
Streicher, Thomas ; Reus, (1998):
Classical logic, continuation semantics and abstract machines.
In: Journal of functional programming. 8 (1998), S. 543-572, [Article]
![]() | Up a level |
Streicher, Thomas ; Reus, (1998):
Classical logic, continuation semantics and abstract machines.
In: Journal of functional programming. 8 (1998), S. 543-572, [Article]