scientific article; zbMATH DE number 1088038

zbMath0884.03028MaRDI QIDQ4364386

Paola Giannini, Mario Coppo, Ferruccio Damiani

Publication date: 17 November 1997

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

zbMATH Keywords

strictness and totality type assignment system

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (2)

Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ Strictness, totality, and non-standard-type inference

This page was built for publication: