DURIER, ADRIEN
Dettaglio
DURIER, ADRIEN
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Pubblicazioni
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.0 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
---|---|---|---|---|---|---|---|
1 | Divergence and unique solution of equations | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2017 | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | ||
2 | DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS | Durier, A; Hirschkoff, D; Sangiorgi, D | 2019 | LOGICAL METHODS IN COMPUTER SCIENCE | 1.01 Articolo in rivista | ||
3 | Eager functions as processes | Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide | 2018 | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | ||
4 | Towards ‘up to context’ reasoning about higher-order processes | Durier A.; Hirschkoff D.; Sangiorgi D. | 2020 | THEORETICAL COMPUTER SCIENCE | 1.01 Articolo in rivista |