scientific article; zbMATH DE number 3999922

MaRDI QIDQ4726252zbMATH OpenFDO

Authors Adam Obtułowicz

Publication date 1986

zbMATH Keywords

adjunctioncategories of partial algebrascategories of partial functionscomputation theorydoctrine of functional relationselementary toposesnatural numbers objectprogrammabilityrecursive functionsuniversal algebra

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Partial algebras (08A55) Categories of algebras (08C05) Categories of spans/cospans, relations, or partial maps (18B10) Topoi (18B25)

Recommendations

• scientific article; zbMATH DE number 4047721
• An algebraic approach to categories of partial morphisms
• scientific article; zbMATH DE number 4101439
• Categories of partial maps
• Partiality, cartesian closedness, and toposes

Cited in

(9)

• Optionality, scope, and licensing: An application of partially ordered categories
• Algebra of constructions. I. The word problem for partial algebras
• Partial morphisms in categories of effective objects
• On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
• Partiality, cartesian closedness, and toposes
• A functorial semantics for multi-algebras and partial algebras, with applications to syntax.
• scientific article; zbMATH DE number 4047721 (Why is no real title available?)
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• Categorical concepts for parameterized partial specifications

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