scientific article; zbMATH DE number 3566822

zbMATH Open0364.02016MaRDI QIDQ4138712FDOQ4138712

Authors: Mario Coppo, Mariangiola Dezani-Ciancaglini 

Publication date: 1977

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 (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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 Q4138712)