|
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 | A type theory which is complete for Kreisel's modified realizability |
Crolard, Tristan |
1999 |
23 | 1 |
p. 58-73 16 p. |
artikel |
|
| 2 | Bibliography on Realizability |
Birkedal, Lars |
1999 |
23 | 1 |
p. 40-57 18 p. |
artikel |
|
| 3 | Comparing models of higher type computation |
Rosolini, G. |
1999 |
23 | 1 |
p. 159-165 7 p. |
artikel |
|
| 4 | Effectivity and Density in Domains |
Berger, Ulrich |
1999 |
23 | 1 |
p. 27-39 13 p. |
artikel |
|
| 5 | History and Developments |
van Oosten, Jaap |
1999 |
23 | 1 |
p. 101-110 10 p. |
artikel |
|
| 6 | Local Realizability Toposes and a Modal Logic for Computability |
Awodey, Steven |
1999 |
23 | 1 |
p. 13-26 14 p. |
artikel |
|
| 7 | Matching typed and untyped realizability |
Longley, John |
1999 |
23 | 1 |
p. 74-100 27 p. |
artikel |
|
| 8 | Preface |
Lars, Birkedal |
1999 |
23 | 1 |
p. 189-190 2 p. |
artikel |
|
| 9 | Process Realizability |
Abramsky, Samson |
1999 |
23 | 1 |
p. 1-2 2 p. |
artikel |
|
| 10 | Realizability Models for Type Theories |
Reus, Bernhard |
1999 |
23 | 1 |
p. 128-158 31 p. |
artikel |
|
| 11 | Tripos Theory in Retrospect |
Pitts, Andrew M. |
1999 |
23 | 1 |
p. 111-127 17 p. |
artikel |
|
| 12 | Uniform provability realization of intuitionistic logic, modality and λ-terms |
Artemov, Sergei N. |
1999 |
23 | 1 |
p. 3-12 10 p. |
artikel |
|
| 13 | Variations on Realizability |
Hyland, J.M.E. |
1999 |
23 | 1 |
p. 166-188 23 p. |
artikel |
13 gevonden resultaten