Connecting Fixpoints of Computations with Strict Progress

Unifying Theories of Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-030-31038-7_4 ◽

2019 ◽

pp. 62-79

Author(s):

Walter Guttmann

Download Full-text