|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Adequacy for a lazy functional language with recursive and polymorphic types |
Blaaberg, Bettina |
1994 |
136 | 1 |
p. 243-275 33 p. |
artikel |
|
| 2 | Algebraic domains of natural transformations |
Fiech, Adrian |
1994 |
136 | 1 |
p. 57-78 22 p. |
artikel |
|
| 3 | A semantics for λProlog |
Wolfram, D.A. |
1994 |
136 | 1 |
p. 277-289 13 p. |
artikel |
|
| 4 | A unified approach to type theory through a refined λ-calculus |
Kamareddine, Fairouz |
1994 |
136 | 1 |
p. 183-216 34 p. |
artikel |
|
| 5 | Categorical abstract machines for higher-order typed λ-calculi |
Ritter, Eike |
1994 |
136 | 1 |
p. 125-162 38 p. |
artikel |
|
| 6 | Computational adequacy of the FIX-logic |
Crole, Roy L. |
1994 |
136 | 1 |
p. 217-242 26 p. |
artikel |
|
| 7 | Editorial Board |
1994 |
136 | 1 |
p. FM2-FM4 nvt p. |
artikel |
||
| 8 | Foreword |
Mislove, M.W. |
1994 |
136 | 1 |
p. 1- 1 p. |
artikel |
|
| 9 | Lagois connections — a counterpart to Galois connections |
Melton, Austin |
1994 |
136 | 1 |
p. 79-107 29 p. |
artikel |
|
| 10 | Parametricity as isomorphism |
Robinson, Edmund |
1994 |
136 | 1 |
p. 163-181 19 p. |
artikel |
|
| 11 | Partial map classifiers and partial cartesian closed categories |
Mulry, Philip S. |
1994 |
136 | 1 |
p. 109-123 15 p. |
artikel |
|
| 12 | Stable power domains |
Heckmann, Reinhold |
1994 |
136 | 1 |
p. 21-56 36 p. |
artikel |
|
| 13 | Variations on the bagdomain theme |
Johnstone, P.T. |
1994 |
136 | 1 |
p. 3-20 18 p. |
artikel |
13 gevonden resultaten