How to Calculate with Nondeterministic Functions

Lecture Notes in Computer Science - Mathematics of Program Construction ◽

10.1007/978-3-030-33636-3_6 ◽

2019 ◽

pp. 138-154 ◽

Author(s):

Richard Bird ◽

Florian Rabe

Download Full-text