-
1
Extended FLRW models: dynamical cancellation of cosmological anisotropies
Veröffentlicht in Classical and quantum gravity
VolltextArtikel -
2
-
3
Computing with Functionals—Computability Theory or Computer Science?
Veröffentlicht in The bulletin of symbolic logic
VolltextArtikel -
4
The extensional ordering of the sequential functionals
Veröffentlicht in Annals of pure and applied logic
VolltextArtikel -
5
Hierarchies of total functionals over the reals
Veröffentlicht in Theoretical computer science
VolltextArtikel -
6
-
7
Exact real number computations relative to hereditarily total functionals
Veröffentlicht in Theoretical computer science
VolltextArtikel -
8
Computability over the partial continuous functionals
Veröffentlicht in The Journal of symbolic logic
VolltextArtikel -
9
-
10
-
11
Representation theorems for transfinite computability and definability
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
12
Continuity, proof systems and the theory of transfinite computations
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
13
Logical Approaches to Computational Barriers: CiE 2006
Veröffentlicht in Journal of logic and computation
VolltextArtikel -
14
Interpreting higher computations as types with totality
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
15
-
16
-
17
-
18
Closing the gap between the continuous functionals and recursion in $^3E
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
19
Hereditarily effective typestreams
Veröffentlicht in Archive for mathematical logic
VolltextArtikel -
20
Limit spaces and transfinite types
Veröffentlicht in Archive for mathematical logic
VolltextArtikel