Data di Pubblicazione:
2024
Abstract:
A novel typed λ-calculus a` la Church with intersection types is proposed. The novelty is the presence of three type constructors representing different roles of the standard intersection type constructor. The main properties are Subject Reduction and the characterisation of typed λ-terms reducing to head normal forms.
Tipologia CRIS:
02A-Contributo in volume
Keywords:
Lambda Calculus, Intersection Types, Typing `a la Church
Elenco autori:
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de'Liguoro, Ugo; Venneri, Betti
Link alla scheda completa:
Titolo del libro:
Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday
Pubblicato in: