scientific article; zbMATH DE number 3905869

zbMATH Open0567.68050MaRDI QIDQ3683553FDOQ3683553

Authors: Elio Giovannetti 

Publication date: 1983

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

Recommendations

• A filter lambda model and the completeness of type assignment
• scientific article; zbMATH DE number 3938562
• scientific article; zbMATH DE number 4087626
• scientific article; zbMATH DE number 512770
• Typing untyped \(\lambda\)-terms, or reducibility strikes again!

zbMATH Keywords

Cartesian producttype assignmentdisjoint sum

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (1)

• Correcting type errors in the Curry system

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 Q3683553)