nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A constructive manifestation of the Kleene–Kreisel continuous functionals
|
Escardó, Martín |
|
2016 |
167 |
9 |
p. 770-793 24 p. |
artikel |
2 |
Apartness spaces and uniform neighbourhood structures
|
Bridges, Douglas S. |
|
2016 |
167 |
9 |
p. 850-864 15 p. |
artikel |
3 |
Atomicity, coherence of information, and point-free structures
|
Karádais, Basil A. |
|
2016 |
167 |
9 |
p. 753-769 17 p. |
artikel |
4 |
Contents
|
|
|
2016 |
167 |
9 |
p. iv- 1 p. |
artikel |
5 |
Editorial Board
|
|
|
2016 |
167 |
9 |
p. IFC- 1 p. |
artikel |
6 |
Essential and density topologies of continuous domains
|
Rusu, Dănuţ |
|
2016 |
167 |
9 |
p. 726-736 11 p. |
artikel |
7 |
Limit spaces with approximations
|
Petrakis, Iosif |
|
2016 |
167 |
9 |
p. 737-752 16 p. |
artikel |
8 |
Positivity relations on a locale
|
Ciraulo, Francesco |
|
2016 |
167 |
9 |
p. 806-819 14 p. |
artikel |
9 |
Preface
|
Coquand, Thierry |
|
2016 |
167 |
9 |
p. 725- 1 p. |
artikel |
10 |
Priestley-type dualities for partially ordered structures
|
Caramello, Olivia |
|
2016 |
167 |
9 |
p. 820-849 30 p. |
artikel |
11 |
The intrinsic topology of Martin-Löf universes
|
Escardó, Martín Hötzel |
|
2016 |
167 |
9 |
p. 794-805 12 p. |
artikel |