Final Universes of Processes (1994)

by Peter Aczel
Venue:PROC. MATH. FOUNDATIONS OF PROGRAMMING SEMANTICS. SPRINGER LECT. NOTES COMP. SCI. (802