scientific article; zbMATH DE number 1361535

zbMath0951.68017MaRDI QIDQ4699353

Paola Giannini, Ferruccio Damiani, Mario Coppo

Publication date: 10 November 1999

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

zbMATH Keywords

operational semanticsdead-codestrictness analyses

Mathematics Subject Classification ID

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

Related Items (1)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication: