Nonflatness and totality

DOI10.1017/S0960129518000026MaRDI QIDQ4611200zbMATH OpenOpenAlexFDO

Authors Basil Karádais

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• Density theorems for the domains-with-totality semantics of dependent types
• Total sets and objects in domain theory
• scientific article; zbMATH DE number 956826
• scientific article; zbMATH DE number 1497739
• scientific article; zbMATH DE number 1169381

Cites work

• \(\mathbb{T}^\omega\) as a universal domain
• Applications of the Kleene-Kreisel density theorem to theoretical computer science
• Atomicity, coherence of information, and point-free structures
• Closing the gap between the continuous functionals and recursion in \(^3E\)
• Computability and totality in domains
• Computability over the partial continuous functionals
• Continuous functions on final coalgebras
• Countable functionals and the projective hierarchy
• Exhaustible sets in higher-type computation
• From coinductive proofs to exact real arithmetic: theory and applications
• Full abstraction, totality and PCF
• Higher-order computability
• scientific article; zbMATH DE number 1670478 (Why is no real title available?)
• scientific article; zbMATH DE number 3163761 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 4212032 (Why is no real title available?)
• scientific article; zbMATH DE number 4152376 (Why is no real title available?)
• scientific article; zbMATH DE number 3664931 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 1169381 (Why is no real title available?)
• scientific article; zbMATH DE number 1497739 (Why is no real title available?)
• scientific article; zbMATH DE number 1531371 (Why is no real title available?)
• scientific article; zbMATH DE number 841092 (Why is no real title available?)
• scientific article; zbMATH DE number 1390018 (Why is no real title available?)
• scientific article; zbMATH DE number 1405571 (Why is no real title available?)
• scientific article; zbMATH DE number 3216998 (Why is no real title available?)
• Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
• Maximal and everywhere-defined functionals
• Minlog -- a tool for program extraction supporting algebras and coalgebras
• Normal forms, linearity, and prime algebraicity over nonflat domains
• Program extraction from nested definitions
• Program extraction in exact real arithmetic
• Proofs and computations
• Proofs, programs, processes
• Realisability and adequacy for (co)induction
• Recursion on the partial continuous functionals
• Representations of stream processors using nested fixed points
• Total sets and objects in domain theory
• Towards a formal theory of computability
• Universal coalgebra: A theory of systems

Cited in

(2)

• Density theorems for the domains-with-totality semantics of dependent types
• Normal forms, linearity, and prime algebraicity over nonflat domains

This page was built for publication: Nonflatness and totality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4611200)