Normal forms, linearity, and prime algebraicity over nonflat domains

DOI10.1002/malq.201600020OpenAlexW2802849415MaRDI QIDQ5109211

Basil A. Karádais

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Nonflatness and totality

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