scientific article; zbMATH DE number 1267558

zbMath0926.68023MaRDI QIDQ4235428

Ugo de'Liguoro, Fabio Alessi, Mariangiola Dezani-Ciancaglini

Publication date: 8 November 1999

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

zbMATH Keywords

\(\lambda\)-calculuspowerdomain constructionintersection type disciplines

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Discrimination by parallel observers: the algorithm.

This page was built for publication: