A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.
Strong Normalization from an unusual point of view
PAOLINI, LUCA LUIGI;RONCHI DELLA ROCCA, Simonetta
2011-01-01
Abstract
A new complete characterization of β-strong normalization is given, both in the classical and in the lazy λ-calculus, through the notion of potential valuability inside two suitable parametric calculi.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
Strong normalization from an unusual point of view - TCS 2011 ori.pdf
Accesso riservato
Tipo di file:
PDF EDITORIALE
Dimensione
295.02 kB
Formato
Adobe PDF
|
295.02 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
