GHYSELEN, ALEXIS

GHYSELEN, ALEXIS  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.004 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