CINECA IRIS Institutional Research Information System

A certified study of a reversible programming language

PAOLINI, LUCA LUIGI;PICCOLO, Mauro;ROVERSI, Luca
2018-01-01
2018
Inglese
Paolini, Luca ; Piccolo, Mauro ; Roversi, Luca
Tarmo Uustalu
21st International Conference on Types for Proofs and Programs (TYPES 2015)
Esperti anonimi
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Dagstuhl
GERMANIA
Leibniz International Proceedings in Informatics (LIPIcs)
69
1
21
21
978-3-95977-030-9
LEIBNIZ INTERNATIONAL PROCEEDINGS IN INFORMATICS
2-s2.0-85045425913
http://drops.dagstuhl.de/opus/volltexte/2018/8477/
no
1 – prodotto con file in versione Open Access (allegherò il file al passo 6 - Carica)
Luca Paolini; Mauro Piccolo; Luca Roversi
3
info:eu-repo/semantics/bookPart
02-CAPITOLO DI LIBRO::02A-Contributo in volume
268
open
02A-Contributo in volume
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
Visualizza/Apri
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 9
  • ???jsp.display-item.citation.isi??? ND
social impact