LEVENTIS, THOMAS
LEVENTIS, THOMAS
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 1 di 1 (tempo di esecuzione: 0.004 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
On the Taylor expansion of probabilistic λ-terms | Dal Lago U.; Leventis T. | 2019-01-01 | - | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | 4.01 Contributo in Atti di convegno | fscd2019.pdf |