|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
7 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Computing with Böhm Trees |
David, René |
2003 |
45 | 1-2 |
p. 53-77 |
article |
|
| 2 | Counting a Type's (Principal) Inhabitants |
Broda, Sabine |
2003 |
45 | 1-2 |
p. 33-51 |
article |
|
| 3 | Elementary Complexity and Geometry of Interaction |
Patrick Baillot |
2003 |
45 | 1-2 |
p. 1-31 |
article |
|
| 4 | Explicit Environments |
Sato, Masahiko |
2003 |
45 | 1-2 |
p. 79-115 |
article |
|
| 5 | Marginalia to a Theorem of Jacopini |
Statman, Rick |
2003 |
45 | 1-2 |
p. 117-121 |
article |
|
| 6 | Preface |
Jean-Yves Girard |
2003 |
45 | 1-2 |
p. i |
article |
|
| 7 | Strong Normalisation of Cut-Elimination in Classical Logic |
C. Urban |
2003 |
45 | 1-2 |
p. 123-155 |
article |
7 results found