Introduction to Special Issue: Intersection types–new insights
SIMONA RONCHI DELLA ROCCA, MARIANGIOLA DEZANI-CIANCAGLINI
págs. 1-3
A simple proof of the undecidability of strong normalisation
PAWEŁ URZYCZYN
págs. 5-13
Intersection types and λ-definability
ANTONIO BUCCIARELLI, IVANO SALVO, ADOLFO PIPERNO
págs. 15-53
DAN DOUGHERTY, PIERRE LESCANNE
págs. 55-85
págs. 87-124
CHRISTIAN MOSSIN
págs. 125-156
págs. 157-197
© 2008-2024 Fundación Dialnet · Todos los derechos reservados