## Roberto Bruni, Ugo Montanari

*Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus*

LICS, 1999.

@inproceedings{LICS-1999-BruniM, author = "Roberto Bruni and Ugo Montanari", booktitle = "{Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1999.782620", isbn = "0-7695-0158-3", pages = "246--265", publisher = "{IEEE Computer Society}", title = "{Cartesian Closed Double Categories, Their λ-Notation, and the π-Calculus}", year = 1999, }