The typed a-calculus with first-class processes (1989)

by F Nielson
Venue:In Proceedings of PARLE 89. Lecture Notes in Computer Science