MOTOHAMA, Yoko
MOTOHAMA, Yoko
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.005 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Approximation Theorems for intersection type systems | 1-gen-2001 | DEZANI CIANCAGLINI, M.; Honsell, Furio; Motohama, Yoko | |
Compositional characterisations of lambda-terms using intersection types | 1-gen-2005 | DEZANI CIANCAGLINI, M; Honsell, Furio; Motohama, Yoko |