scientific article; zbMATH DE number 1841834

zbMath0999.03011MaRDI QIDQ4783322

Luca Roversi, Simonetta Ronchi della Rocca

Publication date: 4 December 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2142/21420414

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (7)

Intersection-types à la Church ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A typed lambda calculus with intersection types ⋮ Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage ⋮ Unnamed Item ⋮ Inhabitation of Low-Rank Intersection Types ⋮ Intersection Typed λ-calculus

This page was built for publication: