scientific article; zbMATH DE number 4158597

MaRDI QIDQ3486543zbMATH OpenFDO

Authors Andre Scedrov

Publication date 1990

zbMATH Keywords

calculus of constructionseffective topospolymorphic typespolymorphismrealizability interpretationrealizability universesecond order polymorphic lambda calculussurvey

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 4061468
• Polymorphic lambda calculus: The Church-Rosser property
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 937388
• scientific article; zbMATH DE number 3882403

Cited in

(9)

• Combinatory reduction systems: Introduction and survey
• Polymorphic lambda calculus: The Church-Rosser property
• On the type correctness of polymorphic -terms. II
• scientific article; zbMATH DE number 3882404 (Why is no real title available?)
• scientific article; zbMATH DE number 4090764 (Why is no real title available?)
• scientific article; zbMATH DE number 194511 (Why is no real title available?)
• scientific article; zbMATH DE number 773983 (Why is no real title available?)
• Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
• Functorial polymorphism

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