Reasoning about Object-based Calculi in (Co)Inductive Type Theory and the Theory of Contexts
CIAFFAGLIONE, Alberto;MICULAN, Marino
2007-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
objects.pdf
non disponibili
Tipologia:
Altro materiale allegato
Licenza:
Non pubblico
Dimensione
857.2 kB
Formato
Adobe PDF
|
857.2 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.