From a Concurrent Lambda-Calculus to the Pi-Calculus.

Roberto M. Amadio, Lone Leth Thomsen, Bent Thomsen

Browse the full FCT paper archive.