A partial solution to an open problem of Amadio and Curien

DOI10.1016/J.IC.2018.04.003MaRDI QIDQ1753999zbMATH OpenOpenAlexWikidataFDO

Authors Xiaoyong Xi, Hui Kou, Jinbo Yang

Publication date 30 May 2018

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2018.04.003

zbMATH Keywords

Cartesian closed categorystable bifinitediamond lattice

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• On an open problem of Amadio and Curien: The finite antichain condition
• On an open problem of Ambrosetti, Brezis and Cerami
• On Curto's open problem
• On two problems studied by A. Ambrosetti
• A partial positive solution to a conjecture of Ricceri
• Publication:3491763
• The solution of an open problem given by H. Haruki and T. M. Rassias
• Solutions to Cintula's open problems
• On the open problems connected to the results of Lazer and Solimini
• On the solvability of some monge-ampère equations

Cites work

• scientific article; zbMATH DE number 4050971 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 3594646 (Why is no real title available?)
• scientific article; zbMATH DE number 1229489 (Why is no real title available?)
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• scientific article; zbMATH DE number 1159734 (Why is no real title available?)
• scientific article; zbMATH DE number 4118557 (Why is no real title available?)
• scientific article; zbMATH DE number 821282 (Why is no real title available?)
• scientific article; zbMATH DE number 3204690 (Why is no real title available?)
• A stable universal domain related to \(\mathbb{T}^{\omega}\)
• An algebraic approach to stable domains
• Computational interpretations of linear logic
• Linear logic
• Maximality and totality of stable functions in the category of stable bifinite domains
• On an open problem of Amadio and Curien: The finite antichain condition
• On stable domains
• Stable neighbourhoods
• The largest Cartesian closed category of domains
• The largest cartesian closed category of stable domains

Cited in

(8)

• Weakly Distributive Domains
• scientific article; zbMATH DE number 517038 (Why is no real title available?)
• On the largest Cartesian closed category of stable domains
• A quick construction of a retraction of all retractions for stable bifinites
• An algebraic approach to stable domains
• The category of upper bounded bifinite posets
• Maximality and totality of stable functions in the category of stable bifinite domains
• On an open problem of Amadio and Curien: The finite antichain condition

This page was built for publication: A partial solution to an open problem of Amadio and Curien

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1753999)