Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus (1999)

Cached

Download Links

by Roberto Bruni , Ugo Montanari
Citations:20 - 12 self