GEOFFROY, GUILLAUME

GEOFFROY, GUILLAUME  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.003 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
A partial metric semantics of higher-order types and approximate program transformations Geoffroy G.; Pistone P. 2021-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno Pubblicazione9.pdf