Raccolta di articoli di ricerca di teoria dei tipi, lambda calcolo e semantica dei linguaggi di programmazione per il 60-esimo anniversario dei professori coppo, dezani e ronchi
Calculi, types and applications: Essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi Della Rocca
BERARDI, Stefano;DE' LIGUORO, Ugo
2008-01-01
Abstract
Raccolta di articoli di ricerca di teoria dei tipi, lambda calcolo e semantica dei linguaggi di programmazione per il 60-esimo anniversario dei professori coppo, dezani e ronchi
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
