scientific article; zbMATH DE number 69223

MaRDI QIDQ4014766zbMATH OpenFDO

Authors Adam Obtułowicz

Publication date 20 October 1992

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)

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

Cited in

(8)

• Algebraic models of simple type theories. A polynomial approach
• Polymorphism and apartness
• scientific article; zbMATH DE number 1678396 (Why is no real title available?)
• Algebraic types in PER models
• scientific article; zbMATH DE number 4148057 (Why is no real title available?)
• Algebra of constructions. I. The word problem for partial algebras
• Algebraic polymorphisms
• scientific article; zbMATH DE number 4050952 (Why is no real title available?)

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)