On the largest Cartesian closed category of stable domains
type: Item
instance of: scholarly article
title: On the largest Cartesian closed category of stable domains
zbMATH Open document ID: 1359.68184
author: Xiaoyong Xi
author: Qingyu He
author: Lingyun Yang
published in: Theoretical Computer Science
publication date: 2017-03-16T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 18D15
zbMATH DE Number: 6695331
zbMATH Keywords: Cartesian closed category
zbMATH Keywords: distributivity
zbMATH Keywords: stable bifinite
MaRDI profile type: Publication
full work available at URL: j.tcs.2017.01.024
OpenAlex ID: W3146736207
cites work: Q4857386
cites work: Q3997287
cites work: Q4282566
cites work: Q4222034
cites work: Q4160405
cites work: Q5331549
cites work: Q4392101
cites work: Stone duality and representation of stable domain
cites work: Maximality and totality of stable functions in the category of stable bifinite domains
cites work: A logical approach to stable domains
cites work: On stable domains
cites work: Continuous Lattices and Domains
cites work: Q4732603
cites work: Computational interpretations of linear logic
cites work: Q3959414
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 partial solution to an open problem of Amadio and Curien
DOI: 10.1016/J.TCS.2017.01.024
description: scientific article; zbMATH DE number 6695331