scientific article; zbMATH DE number 4158597

zbMATH Open0706.03015MaRDI QIDQ3486543FDOQ3486543

Authors: Andre Scedrov 

Publication date: 1990

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

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

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)

Cited In (8)

• Title not available (Why is that?)
• On the type correctness of polymorphic \(\lambda\)-terms. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Combinatory reduction systems: Introduction and survey
• Title not available (Why is that?)
• 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)