-
181
The sequential functionals of type $(\iota \rightarrow \iota)^n \rightarrow \iota$ form a dcpo for all $n \in \Bbb N$
Published 2018-03-01Subjects: Get full text
Article -
182
Bounded variation and the strength of Helly's selection theorem
Published 2014-12-01Subjects: “…mathematics - logic…”
Get full text
Article -
183
Reachability for infinite time Turing machines with long tapes
Published 2020-04-01Subjects: “…mathematics - logic…”
Get full text
Article -
184
Approximation systems for functions in topological and in metric spaces
Published 2013-11-01Subjects: Get full text
Article -
185
Effective zero-dimensionality for computable metric spaces
Published 2015-03-01Subjects: “…mathematics - logic…”
Get full text
Article -
186
Tameness in least fixed-point logic and McColm's conjecture
Published 2021-01-01Subjects: “…mathematics - logic…”
Get full text
Article -
187
-
188
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Published 2015-03-01Subjects: Get full text
Article -
189
Computing with Infinite Objects: the Gray Code Case
Published 2023-07-01Subjects: Get full text
Article -
190
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Published 2024-01-01Subjects: Get full text
Article -
191
Thin Games with Symmetry and Concurrent Hyland-Ong Games
Published 2019-03-01Subjects: Get full text
Article -
192
A revised completeness result for the simply typed $\lambda\mu$-calculus using realizability semantics
Published 2017-08-01Subjects: “…mathematics - logic…”
Get full text
Article -
193
Applicable Mathematics in a Minimal Computational Theory of Sets
Published 2018-10-01Subjects: Get full text
Article -
194
Games and Strategies as Event Structures
Published 2017-09-01Subjects: “…mathematics - logic…”
Get full text
Article -
195
-
196
-
197
-
198
-
199
A Coalgebraic Approach to Dualities for Neighborhood Frames
Published 2022-07-01Subjects: Get full text
Article -
200