GHYSELEN, ALEXIS
GHYSELEN, ALEXIS
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.001 secondi).
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
On Model-Checking Higher-Order Effectful Programs | Dal Lago, Ugo; Ghyselen, Alexis | 2024-01-01 | PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES | - | 1.01 Articolo in rivista | - |
Open Higher-Order Logic | Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen | 2023-01-01 | - | Klin, Bartek and Pimentel, Elaine | 4.01 Contributo in Atti di convegno | LIPIcs-CSL-2023-17.pdf |