|
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 computable approach to measure and integration theory |
Edalat, Abbas |
2009 |
207 | 5 |
p. 642-659 18 p. |
artikel |
|
| 2 | Applications of infinitary lambda calculus |
Barendregt, Henk |
2009 |
207 | 5 |
p. 559-582 24 p. |
artikel |
|
| 3 | Editorial Board (continued) |
2009 |
207 | 5 |
p. i- 1 p. |
artikel |
||
| 4 | From exact sciences to life phenomena: Following Schrödinger and Turing on Programs, Life and Causality |
Longo, Giuseppe |
2009 |
207 | 5 |
p. 545-558 14 p. |
artikel |
|
| 5 | Inside Front Cover: Editorial Board |
2009 |
207 | 5 |
p. IFC- 1 p. |
artikel |
||
| 6 | Objects and session types |
Dezani-Ciancaglini, Mariangiola |
2009 |
207 | 5 |
p. 595-641 47 p. |
artikel |
|
| 7 | On the completeness of order-theoretic models of the λ-calculus |
Honsell, Furio |
2009 |
207 | 5 |
p. 583-594 12 p. |
artikel |
|
| 8 | Preface |
Amadio, Roberto M. |
2009 |
207 | 5 |
p. 543-544 2 p. |
artikel |
|
| 9 | Semiclassical analysis and sensitivity to initial conditions |
Paul, Thierry |
2009 |
207 | 5 |
p. 660-669 10 p. |
artikel |
9 gevonden resultaten