scientific article; zbMATH DE number 4027427

MaRDI QIDQ3768869zbMATH OpenFDO

Authors R. A. G. Seely

Publication date 1986

zbMATH Keywords

categorical semanticsequivalence of categoriesP\(\omega \) modelpolymorphic lambda calculustype theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30)

Recommendations

• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 4027428
• scientific article; zbMATH DE number 937388
• Domain theoretic models of polymorphism
• scientific article; zbMATH DE number 4061468

Cited in

(28)

• A small complete category
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Metacircularity in the polymorphic \(\lambda\)-calculus
• Categorical models of polymorphism
• A game semantics for generic polymorphism
• Domain theoretic models of polymorphism
• Type system _
• scientific article; zbMATH DE number 431760 (Why is no real title available?)
• scientific article; zbMATH DE number 445156 (Why is no real title available?)
• A categorical setting for lower complexity
• scientific article; zbMATH DE number 4152661 (Why is no real title available?)
• scientific article; zbMATH DE number 4154448 (Why is no real title available?)
• scientific article; zbMATH DE number 4027428 (Why is no real title available?)
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 4059656 (Why is no real title available?)
• scientific article; zbMATH DE number 4061468 (Why is no real title available?)
• scientific article; zbMATH DE number 19052 (Why is no real title available?)
• scientific article; zbMATH DE number 69223 (Why is no real title available?)
• scientific article; zbMATH DE number 92598 (Why is no real title available?)
• scientific article; zbMATH DE number 517051 (Why is no real title available?)
• scientific article; zbMATH DE number 3997132 (Why is no real title available?)
• Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi
• scientific article; zbMATH DE number 937388 (Why is no real title available?)
• Dictoses
• Computer Science Logic
• scientific article; zbMATH DE number 2217814 (Why is no real title available?)
• Extensional models for polymorphism
• The semantics of second-order lambda calculus

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