|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Nonstandard Characterisation of the Type-structure of Continuous Functionals Over the Reals |
Normann, Dag |
2004 |
73 | C |
p. 141-147 7 p. |
artikel |
|
| 2 | Computational Effects and Operations: An Overview |
Plotkin, Gordon |
2004 |
73 | C |
p. 149-163 15 p. |
artikel |
|
| 3 | Consistent Partial Model Checking |
Huth, Michael |
2004 |
73 | C |
p. 45-85 41 p. |
artikel |
|
| 4 | Enriched Categories and Quasi-uniform Spaces |
Schmitt, Vincent |
2004 |
73 | C |
p. 165-205 41 p. |
artikel |
|
| 5 | Exponentiation of Scott Formal Topologies |
Maietti, Maria Emilia |
2004 |
73 | C |
p. 111-131 21 p. |
artikel |
|
| 6 | Informatic vs. Classical Differentiation on the Real Line |
Martin, Keye |
2004 |
73 | C |
p. 133-140 8 p. |
artikel |
|
| 7 | Map Theory: From Well-Foundation to Antifoundation |
Vallée, Thierry |
2004 |
73 | C |
p. 217-245 29 p. |
artikel |
|
| 8 | On the Ubiquity of Certain Total Type Structures |
Longley, John |
2004 |
73 | C |
p. 87-109 23 p. |
artikel |
|
| 9 | Preface |
Escardó, Martín |
2004 |
73 | C |
p. 1-2 2 p. |
artikel |
|
| 10 | Presenting Locale Pullback Via Directed Complete Posets |
Townsend, C.F. |
2004 |
73 | C |
p. 207-211 5 p. |
artikel |
|
| 11 | Sequentiality and Piecewise-affinity in Segments of Real-PCF |
Farjudian, Amin |
2004 |
73 | C |
p. 3-43 41 p. |
artikel |
|
| 12 | Uniform Domains and Uniform Spaces |
Tsuiki, Hideki |
2004 |
73 | C |
p. 213-215 3 p. |
artikel |
12 gevonden resultaten