Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
From MaRDI portal
Publication:1607287
DOI10.1016/S0304-3975(01)00065-2zbMath1042.68108MaRDI QIDQ1607287
J. V. Tucker, Viggo Stoltenberg-Hansen, Jens Blanck
Publication date: 31 July 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (4)
Computability of analog networks ⋮ The data type of spatial objects ⋮ Continuity of operators on continuous and discrete time streams ⋮ Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Domain representability of metric spaces
- A computational model for metric spaces
- Algebraic and fixed point equations over inverse limits of algebras
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Computability on subsets of Euclidean space. I: Closed and compact subsets
- Computable Banach spaces via domain theory
- Concrete models of computation for topological algebras
- Computation by `While' programs on topological partial algebras
- Density theorems for the domains-with-totality semantics of dependent types
- Domain representations of topological spaces
- Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.
- Foundation of a computable solid modelling.
- Complete local rings as domains
- Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
- On effective topological spaces
- Recursive metric spaces
This page was built for publication: Domain representations of partial functions, with applications to spatial objects and constructive volume geometry.