Un'introduzione ai tipi-intersezione con l'obiettivo di illustrarne la rilevanza teorica per i fondamenti del lambda-calcolo. Descrive i ben noti risultati sulla connessione fra tipi-intersezione e proprietà di normalizzazione, illustra l'importanza dei tipi-intersezione per la semantica del lambda-calcolo, e termina con un risultato originale riguardante una caratterizzaione degli alberi di Boehm per mezzo dei tipi.
Intersection Types, Lambda-models and Böhm Trees.
DEZANI, Mariangiola;GIOVANNETTI, Elio;DE' LIGUORO, Ugo
1998-01-01
Abstract
Un'introduzione ai tipi-intersezione con l'obiettivo di illustrarne la rilevanza teorica per i fondamenti del lambda-calcolo. Descrive i ben noti risultati sulla connessione fra tipi-intersezione e proprietà di normalizzazione, illustra l'importanza dei tipi-intersezione per la semantica del lambda-calcolo, e termina con un risultato originale riguardante una caratterizzaione degli alberi di Boehm per mezzo dei tipi.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
