On the reduction of the type-free computational λ-calculus
Ugo de'Liguoro;Riccardo Treglia
2020-01-01
File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
IWC_2020_paper_5.pdf
Accesso aperto
Dimensione
329.6 kB
Formato
Adobe PDF
|
329.6 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.