scientific article; zbMATH DE number 177803

MaRDI QIDQ4038680zbMATH OpenFDO

Authors Sophie Malecki

Publication date 18 May 1993

zbMATH Keywords

algorithmlambda calculuslambda-termsnon-typable termsnormalizable termspolynomial termstyping in system \(F\)

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

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

Cited in

(6)

• The I-types of system F
• On the type correctness of polymorphic -terms. I
• On the type correctness of polymorphic -terms. II
• On polymorphic types of untyped terms
• scientific article; zbMATH DE number 4087627 (Why is no real title available?)
• Types for Hereditary Head Normalizing 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)