scientific article; zbMATH DE number 4179331

zbMATH Open0716.03005MaRDI QIDQ3202989FDOQ3202989

Authors: Andrew M. Pitts 

Publication date: 1989

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

Recommendations

• scientific article; zbMATH DE number 4049849
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 3882404
• scientific article; zbMATH DE number 517052
• scientific article; zbMATH DE number 742721

zbMATH Keywords

cartesian closed categorypolymorphic typespolymorphic lambda calculushigher-order type theorylogic of toposespowertypes

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30) Semantics in the theory of computing (68Q55)

Cited In (3)

• From constructivism to computer science
• The Girard-Reynolds isomorphism (second edition)
• The Girard-Reynolds isomorphism

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