|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
11 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Feasible functionals and intersection of ramified types |
Leivant, Daniel |
2003 |
70 | 1 |
p. 149-162 14 p. |
artikel |
|
| 2 | Implementing Compositional Analysis Using Intersection Types With Expansion Variables |
Kfoury, Assaf |
2003 |
70 | 1 |
p. 124-148 25 p. |
artikel |
|
| 3 | Intersection Typed λ-calculus |
Ronchi Della Rocca, Simona |
2003 |
70 | 1 |
p. 163-181 19 p. |
artikel |
|
| 4 | Polar Type Inference with Intersection Types and ω |
Carlier, Sébastien |
2003 |
70 | 1 |
p. 37-52 16 p. |
artikel |
|
| 5 | Preface |
van Bakel, Steffen |
2003 |
70 | 1 |
p. 182-183 2 p. |
artikel |
|
| 6 | Reducibility |
Ghilezan, Silvia |
2003 |
70 | 1 |
p. 106-123 18 p. |
artikel |
|
| 7 | Simple Easy Terms |
Alessi, F. |
2003 |
70 | 1 |
p. 1-18 18 p. |
artikel |
|
| 8 | Strongly Normalising Cut-Elimination with Strict Intersection Types |
van Bakel, Steffen |
2003 |
70 | 1 |
p. 19-36 18 p. |
artikel |
|
| 9 | Strong Normalization with Singleton Types |
Courant, Judicaël |
2003 |
70 | 1 |
p. 53-71 19 p. |
artikel |
|
| 10 | Subtyping in Logical Form |
de'Liguoro, Ugo |
2003 |
70 | 1 |
p. 72-87 16 p. |
artikel |
|
| 11 | The Relevance of Semantic Subtyping |
Dezani-Ciancaglini, Mariangiola |
2003 |
70 | 1 |
p. 88-105 18 p. |
artikel |
11 gevonden resultaten