Prodotti
Atti, Riassunti o Comunicazioni
Cartesian Closed Double Categories, their Lambda-Notation, and the Pi-Calculus
- autori
- Bruni, R. and Montanari, U.
- anno
- 1999
- tipo prodotto
- Articolo in atti di congresso
- lingua
- inglese
- editore
- IEEE Computer Society
- volume
- 1
- numero pagine
- 20
- pagina iniziale
- 246
- nome conferenza
- LICS
- pagina finale
- 265
- schede autori
- MONTANARI UGO GIOVANNI ERASMO , BRUNI ROBERTO