|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Convenient Category for Games and Interaction |
Jürgen Koslowski |
1999 |
7 | 1 |
p. 129-145 17 p. |
artikel |
|
| 2 | An Algebraic View on Recursive Types |
Michael Marz |
1999 |
7 | 1 |
p. 147-157 11 p. |
artikel |
|
| 3 | Approximation of Metric Spaces by Partial Metric Spaces |
Reinhold Heckmann |
1999 |
7 | 1 |
p. 71-83 13 p. |
artikel |
|
| 4 | Categorical Generalization of a Universal Domain |
JiÍ Velebil |
1999 |
7 | 1 |
p. 209-226 18 p. |
artikel |
|
| 5 | Density Theorems for the Domains-with-Totality Semantics of Dependent Types |
Ulrich Berger |
1999 |
7 | 1 |
p. 3-30 28 p. |
artikel |
|
| 6 | Extensional Σ-Spaces in Type Theory |
Bernhard Reus |
1999 |
7 | 1 |
p. 159-183 25 p. |
artikel |
|
| 7 | Factorisation Systems on Domains |
Mathias Kegelmann |
1999 |
7 | 1 |
p. 113-128 16 p. |
artikel |
|
| 8 | Inductive Construction of Repletion |
Thomas Streicher |
1999 |
7 | 1 |
p. 185-207 23 p. |
artikel |
|
| 9 | On the Approximation of Denotational Mu-Semantics |
Michael Huth |
1999 |
7 | 1 |
p. 85-111 27 p. |
artikel |
|
| 10 | Preface |
1999 |
7 | 1 |
p. 1-1 1 p. |
artikel |
||
| 11 | Z-Continuous Posets and Their Topological Manifestation |
Marcel Erné |
1999 |
7 | 1 |
p. 31-70 40 p. |
artikel |
11 gevonden resultaten