Cartesian closed double categories, their lambda-notation, and the pi-calculus (1999)

by R Bruni, U Montanari
Venue:In LICS ’99: Proc. 14th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society