A partial solution to an open problem of Amadio and Curien
type: Item
instance of: scholarly article
title: A partial solution to an open problem of Amadio and Curien
zbMATH Open document ID: 1391.68074
author: Xiaoyong Xi
author: Hui Kou
author: Jinbo Yang
published in: Information and Computation
publication date: 2018-05-30T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 6876407
zbMATH Keywords: Cartesian closed category
zbMATH Keywords: stable bifinite
zbMATH Keywords: diamond lattice
MaRDI profile type: Publication
full work available at URL: j.ic.2018.04.003
OpenAlex ID: W2803019536
cites work: Q4857386
cites work: Q3997287
cites work: Q4282566
cites work: Q4222034
cites work: Q4160405
cites work: Q5331549
cites work: Q4392101
cites work: Maximality and totality of stable functions in the category of stable bifinite domains
cites work: Q3787462
cites work: On stable domains
cites work: Linear logic
cites work: Q4732603
cites work: Computational interpretations of linear logic
cites work: The largest Cartesian closed category of domains
cites work: An algebraic approach to stable domains
cites work: Stable neighbourhoods
cites work: The largest cartesian closed category of stable domains
cites work: On an open problem of Amadio and Curien: The finite antichain condition
cites work: A stable universal domain related to ω
Wikidata QID: Q129914607
DOI: 10.1016/J.IC.2018.04.003
Recommended article: On an open problem of Amadio and Curien: The finite antichain condition
Recommended article: On an open problem of Ambrosetti, Brezis and Cerami
Recommended article: On Curto's open problem
Recommended article: On two problems studied by A. Ambrosetti
Recommended article: A partial positive solution to a conjecture of Ricceri
Recommended article: Q3491763
Recommended article: The solution of an open problem given by H. Haruki and T. M. Rassias
Recommended article: Solutions to Cintula's open problems
Recommended article: On the open problems connected to the results of Lazer and Solimini
Recommended article: On the solvability of some monge-ampère equations
description: scientific article; zbMATH DE number 6876407