Paper
A comparison of concepts from computable analysis and effective descriptive set theory
-
- Published online by Cambridge University Press:
- 23 June 2016, pp. 1414-1436
-
- Article
- Export citation
Enhanced coalgebraic bisimulation
-
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1236-1264
-
- Article
-
- You have access
- Export citation
The parametric continuation monad †
-
- Published online by Cambridge University Press:
- 24 August 2015, pp. 651-680
-
- Article
- Export citation
A Gray code for cross-bifix-free sets
-
- Published online by Cambridge University Press:
- 11 May 2015, pp. 184-196
-
- Article
- Export citation
Lattice-valued Scott topology on dcpos
-
- Published online by Cambridge University Press:
- 18 May 2015, pp. 516-529
-
- Article
- Export citation
On lookahead equilibria in congestion games
-
- Published online by Cambridge University Press:
- 06 May 2015, pp. 197-214
-
- Article
- Export citation
Bisimilarity is not Borel†
-
- Published online by Cambridge University Press:
- 09 December 2015, pp. 1265-1284
-
- Article
-
- You have access
- Export citation
A completion-invariant extension of the concept of meet continuous lattices
-
- Published online by Cambridge University Press:
- 15 May 2015, pp. 530-539
-
- Article
- Export citation
On the computational complexity of the Dirichlet Problem for Poisson's Equation
-
- Published online by Cambridge University Press:
- 28 July 2016, pp. 1437-1465
-
- Article
- Export citation
The infinitary lambda calculus of the infinite eta Böhm trees
-
- Published online by Cambridge University Press:
- 17 August 2015, pp. 681-733
-
- Article
- Export citation
A stable universal domain related to $\mathbb{T}$ω
-
- Published online by Cambridge University Press:
- 22 May 2015, pp. 540-556
-
- Article
- Export citation
Computable elements and functions in effectively enumerable topological spaces
-
- Published online by Cambridge University Press:
- 23 June 2016, pp. 1466-1494
-
- Article
- Export citation
Taming the wild ant-lion; a counterexample to a conjecture of Böhm
-
- Published online by Cambridge University Press:
- 07 August 2015, pp. 734-737
-
- Article
- Export citation
On merging two trust-networks in one with bipolar preferences
-
- Published online by Cambridge University Press:
- 01 June 2015, pp. 215-233
-
- Article
- Export citation
Effective Riemann mappings of multiply connected domains and Riemann surfaces
-
- Published online by Cambridge University Press:
- 23 September 2016, pp. 1495-1520
-
- Article
- Export citation
Multi-level dynamo and opinion spreading†
-
- Published online by Cambridge University Press:
- 06 May 2015, pp. 234-256
-
- Article
- Export citation
Redexes are stable in the λ-calculus
-
- Published online by Cambridge University Press:
- 15 July 2015, pp. 738-750
-
- Article
- Export citation
On naturally continuous non-dcpo domains
-
- Published online by Cambridge University Press:
- 22 June 2016, pp. 1521-1552
-
- Article
- Export citation
Coalgebraic analysis of subgame-perfect equilibria in infinite games without discounting
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 751-761
-
- Article
- Export citation
Representing prefix and border tables: results on enumeration
-
- Published online by Cambridge University Press:
- 22 May 2015, pp. 257-276
-
- Article
- Export citation