Cartesian Closed Double Categories, Their Lambda-Notation, and the Pi-Calculus.

Roberto Bruni, Ugo Montanari

Browse the full LICS paper archive.