![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] TAPSOFT '91 Volume 494 || The evaluation transformer model of reduction and its correctness
Abramsky, S., Maibaum, T. S. E.Volume:
10.1007/3-
Year:
1991
Language:
english
DOI:
10.1007/3540539816_81
File:
PDF, 1.53 MB
english, 1991