Pi-Calculus in Logical Form.

Marcello M. Bonsangue, Alexander Kurz

Browse the full LICS paper archive.