Nonflatness and totality
From MaRDI portal
Publication:4611200
DOI10.1017/S0960129518000026zbMath1410.68214OpenAlexW2800147753MaRDI QIDQ4611200
Publication date: 17 January 2019
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129518000026
Related Items
Cites Work
- Atomicity, coherence of information, and point-free structures
- Proofs, programs, processes
- \(\mathbb{T}^\omega\) as a universal domain
- Total sets and objects in domain theory
- Maximal and everywhere-defined functionals
- Closing the gap between the continuous functionals and recursion in \(^3E\)
- Universal coalgebra: A theory of systems
- Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
- Continuous Functions on Final Coalgebras
- Realisability and adequacy for (co)induction
- From coinductive proofs to exact real arithmetic: theory and applications
- Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
- Proofs and Computations
- Computability and totality in domains
- Representations of Stream Processors Using Nested Fixed Points
- Higher-Order Computability
- Exhaustible sets in higher-type computation
- Countable functionals and the projective hierarchy
- Full abstraction, totality and PCF
- Computability over the partial continuous functionals
- Normal forms, linearity, and prime algebraicity over nonflat domains
- Program Extraction from Nested Definitions
- 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
- Unnamed Item
