A certified study of a reversible programming language

PAOLINI, LUCA LUIGI;PICCOLO, Mauro;ROVERSI, Luca
2018-01-01

21st International Conference on Types for Proofs and Programs (TYPES 2015)
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Leibniz International Proceedings in Informatics (LIPIcs)
69
1
21
978-3-95977-030-9
http://drops.dagstuhl.de/opus/volltexte/2018/8477/
Luca Paolini; Mauro Piccolo; Luca Roversi
File in questo prodotto:
File Dimensione Formato  
A Certified Study of a Reversible Programming Language - LIPIcs-TYPES-2015-7.pdf

Accesso aperto

Tipo di file: PDF EDITORIALE
Dimensione 655.48 kB
Formato Adobe PDF
655.48 kB Adobe PDF Visualizza/Apri

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/2318/99058
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 8
  • ???jsp.display-item.citation.isi??? ND
social impact