scientific article; zbMATH DE number 3468256

MaRDI QIDQ4053088zbMATH OpenFDO

Authors Mariangiola Dezani-Ciancaglini, Maddalena Zacchi

Publication date 1974

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Algorithms in computer science (68W99)

Cited in

(2)

• Correctness of parallel programs: The Church-Rosser approach
• Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4053088)