scientific article; zbMATH DE number 19052

zbMATH Open0737.03003MaRDI QIDQ3976478FDOQ3976478

John W. Gray

Publication date: 26 June 1992

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

Recommendations

• scientific article; zbMATH DE number 4027427
• scientific article; zbMATH DE number 4027428
• Categorical semantics for higher order polymorphic lambda calculus
• scientific article; zbMATH DE number 937388
• Initial algebra semantics for lambda calculi

zbMATH Keywords

semanticssyntaxpolymorphic lambda calculusmodest setsomega setscategory of partial equivalence relations on the natural numbersinternal products

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Polynat in PER models
• 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 Q3976478)