scientific article; zbMATH DE number 431772

zbMATH Open0792.18006MaRDI QIDQ3138548FDOQ3138548

Authors Michael B. Smyth

Publication date 21 July 1994

zbMATH Keywords

dualityinductioncoinductioncategory of information systemsinformation categoryinitial algebra/final algebra coincidence

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Preorders, orders, domains and lattices (viewed as categories) (18B35)

Recommendations

• I-categories as a framework for solving domain equations
• scientific article; zbMATH DE number 517040
• scientific article; zbMATH DE number 1231577
• Relational properties of domains
• scientific article; zbMATH DE number 1678359

Cited in

(9)

• Games and full abstraction for FPC.
• A structural co-induction theorem
• I-categories as a framework for solving domain equations
• Dualizability in Low-Dimensional Higher Category Theory
• scientific article; zbMATH DE number 5595959 (Why is no real title available?)
• Categorical Landstad duality for actions
• Induction and recursion on the partial real line with applications to Real PCF
• scientific article; zbMATH DE number 1678359 (Why is no real title available?)
• scientific article; zbMATH DE number 517040 (Why is no real title available?)

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