Normal Form Simulation for McCarthy’s amb (2005)

by Søren Lassen
Venue:In 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS XXI