|
2
|
Fundamentals of Computing I
– Viggo Stoltenberg-hansen, Viggo Stoltenberg-hansen, John V. Tucker, John V. Tucker
- 1992
|
|
41
|
A Domain-Theoretic Approach to Computability on the Real Line
– Abbas Edalat, Philipp Sünderhauf
- 1997
|
|
3
|
Reducibility of Domain Representations and Cantor-Weihrauch Domain Representations
– Jens Blanck
- 2006
|
|
1
|
Effectivity of regular spaces
– Jens Blanck
- 2001
|
|
6
|
Admissible Domain Representations of Topological Spaces
– Göran Hamrin, Göran Hamrin
- 2005
|
|
12
|
Domain-theoretic solution of differential equations
– Abbas Edalat, Dirk Pattinson
- 2006
|
|
|
Domain-Theoretic Methods for Program Synthesis
– Ulrich Berger
|
|
12
|
Continuous Functionals of Dependent Types and Equilogical Spaces
– Andrej Bauer, Lars Birkedal
- 2000
|
|
4
|
Denotational semantics of hybrid automata
– Abbas Edalat, Dirk Pattinson
- 2006
|
|
|
Differential operator and weak topology for Lipschitz maps
– Abbas Edalat
- 2009
|
|
31
|
Foundation of a Computable Solid Modelling
– Abbas Edalat, André Lieutier
- 2002
|
|
19
|
Domain Representations of Topological Spaces
– Jens Blanck
- 2000
|
|
2
|
A continuous derivative for real-valued functions
– Abbas Edalat
- 2008
|
|
34
|
The Realizability Approach to Computable Analysis and Topology
– Andrej Bauer, Steven M. Awodey, Lenore Blum, Abbas Edalat, Frank Pfenning
- 2000
|
|
23
|
Abstract versus concrete computation on metric partial algebras
– J. V. Tucker, J. I. Zucker
- 2004
|
|
1
|
Domain theoretic formulation of linear boundary value problems
– Dirk Pattinson
- 2005
|
|
13
|
Computable Banach Spaces via Domain Theory
– Abbas Edalat, Philipp Sünderhauf
- 1998
|
|
3
|
Basic Algorithms of Computational Geometry with Imprecise Input
– Ali Asghar Khanban
- 2005
|
|
45
|
PCF extended with real numbers
– Martín Hötzel Escardó
- 1996
|
|
4
|
On the ubiquity of certain total type structures
– John Longley
- 2007
|
