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.