scientific article; zbMATH DE number 4118557
From MaRDI portal
Publication:4732603
zbMath0683.18006MaRDI QIDQ4732603
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Fibered categories (18D30) Other constructive mathematics (03F65)
Related Items
On the largest Cartesian closed category of stable domains., Alpha conversion, conditions on variables and categorical logic, An algebraic approach to stable domains, The largest cartesian closed category of stable domains, On the largest Cartesian closed category of stable domains, Stable domains are generalized topological spaces, On stable domains, A partial solution to an open problem of Amadio and Curien, Cartesian closed stable categories, Categories of embeddings, Unnamed Item
