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

by Flemming Nielson
Venue:In Proceedings of PARLE’89