scientific article; zbMATH DE number 8773

MaRDI QIDQ3971261zbMATH OpenFDO

Authors Dwight Spencer

Publication date 25 June 1992

zbMATH Keywords

Cartesian closed categoriescategorical combinatorscategorical computationcategories of partial mapscontinuationscontrolCPOfixed pointsomega-complete partial order objects

Mathematics Subject Classification ID

Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Abstract data types; algebraic specification (68Q65)

Recommendations

• Fixed-point operations on ccc's. I
• Partial map classifiers and partial cartesian closed categories
• Fixed points in Cartesian closed categories
• Partiality, cartesian closedness, and toposes
• scientific article; zbMATH DE number 3904559

Cited in

(1)

• Comparing Hagino's categorical programming language and typed lambda- calculi

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