Normal forms, linearity, and prime algebraicity over nonflat domains
From MaRDI portal
Publication:5109211
DOI10.1002/malq.201600020OpenAlexW2802849415MaRDI QIDQ5109211
Publication date: 11 May 2020
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.201600020
Related Items (1)
Cites Work
- Atomicity, coherence of information, and point-free structures
- Quasi-prime algebraic domains
- Prime algebraicity
- \(\mathbb{T}^\omega\) as a universal domain
- Petri nets, event structures and domains. I
- \(dI\)--domains as prime information systems
- Total sets and objects in domain theory
- LCF considered as a programming language
- Fully abstract models of typed \(\lambda\)-calculi
- Definability and Full Abstraction
- Proofs and Computations
- Nonflatness and totality
- Program extraction in exact real arithmetic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Normal forms, linearity, and prime algebraicity over nonflat domains