Beniamino Accattoli, Horace Blanc, Claudio Sacerdoti Coen (2023). Formalizing Functions as Processes [10.4230/lipics.itp.2023.5].
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
LIPIcs.ITP.2023.5.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
815.39 kB
Formato
Adobe PDF
|
815.39 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.