DURIER, ADRIEN

DURIER, ADRIEN  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.009 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Divergence and unique solution of equations Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2017-01-01 - Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 4.01 Contributo in Atti di convegno LIPIcs-CONCUR-2017-11.pdf
DIVERGENCE AND UNIQUE SOLUTION OF EQUATIONS Durier, A; Hirschkoff, D; Sangiorgi, D 2019-01-01 LOGICAL METHODS IN COMPUTER SCIENCE - 1.01 Articolo in rivista 1806.11354.pdf
Eager functions as processes Durier, A; Hirschkoff, D; Sangiorgi, D 2022-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista tcs_durier_iris.pdf
Eager functions as processes Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide 2018-01-01 - Association for Computing Machinery 4.01 Contributo in Atti di convegno lics_final_IRIS.pdf
Towards ‘up to context’ reasoning about higher-order processes Durier A.; Hirschkoff D.; Sangiorgi D. 2020-01-01 THEORETICAL COMPUTER SCIENCE - 1.01 Articolo in rivista DStcs.pdf