|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Computing with Böhm Trees |
David, René |
2003 |
45 | 1-2 |
p. 53-77 |
artikel |
|
| 2 | Counting a Type's (Principal) Inhabitants |
Broda, Sabine |
2003 |
45 | 1-2 |
p. 33-51 |
artikel |
|
| 3 | Elementary Complexity and Geometry of Interaction |
Patrick Baillot |
2003 |
45 | 1-2 |
p. 1-31 |
artikel |
|
| 4 | Explicit Environments |
Sato, Masahiko |
2003 |
45 | 1-2 |
p. 79-115 |
artikel |
|
| 5 | Marginalia to a Theorem of Jacopini |
Statman, Rick |
2003 |
45 | 1-2 |
p. 117-121 |
artikel |
|
| 6 | Preface |
Jean-Yves Girard |
2003 |
45 | 1-2 |
p. i |
artikel |
|
| 7 | Strong Normalisation of Cut-Elimination in Classical Logic |
C. Urban |
2003 |
45 | 1-2 |
p. 123-155 |
artikel |
7 gevonden resultaten