scientific article; zbMATH DE number 3999922

zbMath0617.03041MaRDI QIDQ4726252

Adam Obtułowicz

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

universal algebrarecursive functionsadjunctioncomputation theorynatural numbers objectprogrammabilityelementary toposesdoctrine of functional relationscategories of partial algebrascategories of partial functions

Mathematics Subject Classification ID

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

Related Items (5)

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 \(\lambda\)- 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.

This page was built for publication: