IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

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

G. Marabelli;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.

Scheda breve

Scheda completa

Scheda completa (DC)

	Presenza di coautori internazionali
	
				No
			
	Lingua del contributo
	
				English
			
	Settori scientifico-disciplinari del contributo (sola visualizzazione)
	
				Settore INF/01 - Informatica
Settore MAT/01 - Logica Matematica
			
	Tipo
	
				Intervento a convegno
			
	Revisione (peer review)
	
				Esperti anonimi
			
	Classificazione in base al tipo di ricerca
	
				Ricerca di base
			
	Classificazione della pubblicazione
	
				Pubblicazione scientifica
			
	Titolo del volume
	
				ICTCS 2019, 20th Italian Conference on Theoretical Computer Science
			
	Curatori del volume
	
				A. Cherubini, N. Sabadini, S. Tini
			
	Editore
	
				CEUR-WS
			
	Data di pubblicazione
	
				28-nov-2019
			
	Pagina iniziale
	
				204
			
	Pagina finale
	
				209
			
	Numero di pagine
	
				6
			
	Collana
	
				CEUR WORKSHOP PROCEEDINGS
			
	Numero del volume
	
				2504
			
	Tipo di volume
	
				Volume a diffusione internazionale
			
	Nome del convegno
	
				Italian Conference on Theoretical Computer Science
			
	Luogo del convegno
	
				Como
			
	Anno del convegno
	
				2019
			
	Numero del convegno
	
				20
			
	Tipo di convegno
	
				Convegno nazionale
			
	Sezione
	
				Intervento inviato
			
	URL
	
				http://ceur-ws.org/Vol-2504/paper23.pdf
			
	Banca dati sorgente
	
				bibtex
			
	Identificativo SCOPUS
	
				2-s2.0-85076039161
			
	Adesione alla policy Open Access di Ateneo
	
				Aderisco
			
	Tutti gli autori
	
						G. Marabelli, A. Momigliano
					
	Tipologia
	
				Book Part (author)
			
	Fulltext
	
				open
			
	Tipologia sito docente
	
				273
			
	Citazione
	
				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.
			
	Tipologia
	
				info:eu-repo/semantics/bookPart
			
	Numero autori
	
				2
			
	Tipologia
	
				Prodotti della ricerca::03 - Contributo in volume
			
	Appare nelle tipologie:
	
				03 - Contributo in volume

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 Visualizza/Apri	252.31 kB	Adobe PDF	Visualizza/Apri
paper23.pdf accesso aperto Tipologia: Publisher's version/PDF Dimensione 459.51 kB Formato Adobe PDF Visualizza/Apri	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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2434/695560

Citazioni

ND

0

ND

ND

social impact