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

by F Neilson
Venue:In PARLE89, Lecture