scientific article; zbMATH DE number 431772

zbMATH Open0792.18006MaRDI QIDQ3138548FDOQ3138548

Authors: Michael B. Smyth 

Publication date: 21 July 1994

Title of this publication is not available (Why is that?)

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

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)

Cited In (9)

• A structural co-induction theorem
• I-categories as a framework for solving domain equations
• Title not available (Why is that?)
• Games and full abstraction for FPC.
• Title not available (Why is that?)
• Dualizability in Low-Dimensional Higher Category Theory
• Induction and recursion on the partial real line with applications to Real PCF
• Categorical Landstad duality for actions
• Title not available (Why is that?)

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)