scientific article; zbMATH DE number 2003154
From MaRDI portal
Publication:4435466
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
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)
Related Items (6)
Intersection types and lambda models ⋮ 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 Computational Rules ⋮ Compositional characterisations of \(\lambda\)-terms using intersection types
This page was built for publication:
