A category-theoretic semantics for unbounded indeterminacy

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040265 ◽

2006 ◽

pp. 319-332

Author(s):

Prakash Panangaden ◽

James R. Russell