scientific article; zbMATH DE number 69223

zbMATH Open0780.03005MaRDI QIDQ4014766FDOQ4014766

Authors: Adam Obtułowicz 

Publication date: 20 October 1992

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

Recommendations

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

zbMATH Keywords

semanticspartial equational logicpolymorphic lambda calculipolymorphic structuresthree-sorted partial algebras

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Equational classes, universal algebra in model theory (03C05) Other algebras related to logic (03G25) Partial algebras (08A55)

Cited In (8)

• Title not available (Why is that?)
• Algebra of constructions. I. The word problem for partial algebras
• Title not available (Why is that?)
• Algebraic types in PER models
• Algebraic models of simple type theories. A polynomial approach
• Title not available (Why is that?)
• Polymorphism and apartness
• Algebraic polymorphisms

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