scientific article; zbMATH DE number 3591961

zbMATH Open0381.03015MaRDI QIDQ4159030FDOQ4159030

Authors: Mario Coppo, Mariangiola Dezani-Ciancaglini 

Publication date: 1978

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Cited In (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:

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