scientific article; zbMATH DE number 1759417

zbMath0996.03501MaRDI QIDQ4536366

Furio Honsell, Mariangiola Dezani-Ciancaglini, Yoko Motohama

Publication date: 4 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (8)

Intersection types for explicit substitutions ⋮ Infinite intersection types ⋮ 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 ⋮ Simple Easy Terms ⋮ Reducibility ⋮ Compositional characterisations of \(\lambda\)-terms using intersection types

This page was built for publication: