scientific article
From MaRDI portal
Publication:3912003
zbMath0462.68003MaRDI QIDQ3912003
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Theory of software (68N99) Software, source code, etc. for problems pertaining to category theory (18-04)
Related Items (5)
Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A mechanically assisted constructive proof in category theory ⋮ Semantics of algorithmic languages
This page was built for publication:
