scientific article; zbMATH DE number 177803

zbMATH Open0766.03006MaRDI QIDQ4038680FDOQ4038680

Authors: Sophie Malecki 

Publication date: 18 May 1993

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (6)

• On the type correctness of polymorphic \(\lambda\)-terms. II
• Types for Hereditary Head Normalizing Terms
• On polymorphic types of untyped terms
• On the type correctness of polymorphic \(\lambda\)-terms. I
• Title not available (Why is that?)
• The \(I\)-types of system \(\mathcal F\)

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)