This brief note summarizes our formalization in a dependently typed setting of the meta-theory of several notions of program equivalences in higher-order programming languages.
Formalizing Program Equivalences in Dependent Type Theory / G. Marabelli, A. Momigliano (CEUR WORKSHOP PROCEEDINGS). - In: ICTCS 2019, 20th Italian Conference on Theoretical Computer Science / [a cura di] A. Cherubini, N. Sabadini, S. Tini. - [s.l] : CEUR-WS, 2019 Nov 28. - pp. 204-209 (( Intervento presentato al 20. convegno Italian Conference on Theoretical Computer Science tenutosi a Como nel 2019.
Formalizing Program Equivalences in Dependent Type Theory
A. Momigliano
2019
Abstract
This brief note summarizes our formalization in a dependently typed setting of the meta-theory of several notions of program equivalences in higher-order programming languages.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
fpedt.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
252.31 kB
Formato
Adobe PDF
|
252.31 kB | Adobe PDF | Visualizza/Apri |
|
paper23.pdf
accesso aperto
Tipologia:
Publisher's version/PDF
Dimensione
459.51 kB
Formato
Adobe PDF
|
459.51 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
