scientific article; zbMATH DE number 3566822

zbMATH Open0364.02016MaRDI QIDQ4138712FDOQ4138712

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini 

Publication date 1977

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 no real title available?)
• Title not available (Why is no real title available?)
• 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)