scientific article; zbMATH DE number 69223

MaRDI QIDQ4014766zbMATH OpenFDO

Authors Adam Obtułowicz

Publication date 20 October 1992

zbMATH Keywords

partial equational logicpolymorphic lambda calculipolymorphic structuressemanticsthree-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

(9)

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

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)