scientific article; zbMATH DE number 937388

zbMATH Open0859.03008MaRDI QIDQ4896529FDOQ4896529

Authors: Maria Emilia Maietti 

Publication date: 20 October 1996

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

Recommendations

• scientific article; zbMATH DE number 4027427
• scientific article; zbMATH DE number 4027428
• A concrete categorical semantics of lambda-\(\mathcal{S}\)
• Categorical models for a semantically linear \(\lambda\)-calculus
• scientific article; zbMATH DE number 2185674
• A characterization of lambda definability in categorical models of implicit polymorphism
• Categorical models for non-extensional λ-calculi and combinatory logic
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• On functors expressible in the polymorphic typed lambda calculus

zbMATH Keywords

categorical semanticspolymorphismGirard's system \(F\)coherence spacessecond-order typed lambda calculusproduct typesPL-categoriesPLF-categoryterminal type

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (16)

• Nominal lambda calculus: an internal language for FM-Cartesian closed categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• A domain-theoretic semantics of lax generic functions.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Polarized Montagovian Semantics for the Lambek-Grishin Calculus
• Categorical models of polymorphism
• Domain theoretic models of polymorphism
• Categorical semantics for higher order polymorphic lambda calculus
• A note on categorical datatypes
• System F i
• Title not available (Why is that?)

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