Publication:4435466
From MaRDI portal
zbMath1023.03022MaRDI QIDQ4435466
Silvia Ghilezan, Mariangiola Dezani-Ciancaglini
Publication date: 12 November 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2646/26460127.htm
68N18: Functional programming and lambda calculus
03B70: Logic in computer science
03B40: Combinatory logic and lambda calculus
Related Items
Intersection Types and Computational Rules, Unnamed Item, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, Behavioural inverse limit \(\lambda\)-models, Intersection types and lambda models, Compositional characterisations of \(\lambda\)-terms using intersection types