scientific article; zbMATH DE number 4158597

MaRDI QIDQ3486543zbMATH OpenFDO

Authors Andre Scedrov

Publication date 1990

zbMATH Keywords

surveypolymorphismeffective topospolymorphic typesrealizability interpretationcalculus of constructionsrealizability universesecond order polymorphic lambda calculus

Mathematics Subject Classification ID

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

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

(8)

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

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)