A cartesian closed category of parallel algorithms between scott domains (1991)

by S Brookes, S Geva
Venue:in Semantics of Programming Languages and Model Theory, Dagstuhl