Final universes of processes

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

10.1007/3-540-58027-1_1 ◽

1994 ◽

pp. 1-28 ◽

Author(s):

Peter Aczel

Download Full-text