scientific article; zbMATH DE number 3905869

MaRDI QIDQ3683553zbMATH OpenFDO

Authors Elio Giovannetti

Publication date 1983

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)

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!

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)