scientific article; zbMATH DE number 177803

MaRDI QIDQ4038680zbMATH OpenFDO

Authors Sophie Malecki

Publication date 18 May 1993

zbMATH Keywords

algorithmlambda calculuspolynomial termsnormalizable termslambda-termsnon-typable termstyping in system \(F\)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On the type correctness of polymorphic \(\lambda\)-terms. II
• On the type correctness of polymorphic \(\lambda\)-terms. I
• scientific article; zbMATH DE number 4134006
• On polymorphic types of untyped terms
• On polymorphic types of untyped terms

Cited in

(6)

• On the type correctness of polymorphic \(\lambda\)-terms. I
• The \(I\)-types of system \(\mathcal F\)
• On the type correctness of polymorphic \(\lambda\)-terms. II
• Types for Hereditary Head Normalizing Terms
• scientific article; zbMATH DE number 4087627 (Why is no real title available?)
• On polymorphic types of untyped terms

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