|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
9 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Calculus of Global Interaction based on Session Types |
Carbone, Marco |
2007 |
171 | 3 |
p. 127-151 25 p. |
artikel |
|
| 2 | A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine |
Siafakas, Nikolaos |
2007 |
171 | 3 |
p. 111-126 16 p. |
artikel |
|
| 3 | Handshake Games |
Fossati, Luca |
2007 |
171 | 3 |
p. 21-41 21 p. |
artikel |
|
| 4 | Light Dialectica Program Extraction from a Classical Fibonacci Proof |
Hernest, Mircea-Dan |
2007 |
171 | 3 |
p. 43-53 11 p. |
artikel |
|
| 5 | On the Computational Representation of Classical Logical Connectives |
Raghunandan, Jayshan |
2007 |
171 | 3 |
p. 85-109 25 p. |
artikel |
|
| 6 | Preface |
Jouannaud, Jean-Pierre |
2007 |
171 | 3 |
p. 1-2 2 p. |
artikel |
|
| 7 | Term Collections in λ and ρ-calculi |
Faure, Germain |
2007 |
171 | 3 |
p. 3-19 17 p. |
artikel |
|
| 8 | The Better Bubbling Lemma |
Meyer, Robert K. |
2007 |
171 | 3 |
p. 77-84 8 p. |
artikel |
|
| 9 | Virtual Organizations in Arigatoni |
Cosnard, Michel |
2007 |
171 | 3 |
p. 55-75 21 p. |
artikel |
9 gevonden resultaten