|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
12 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | AUTHOR INDEX VOLUME 121 |
2012 |
121 | 1-4 |
p. 303 |
article |
||
| 2 | Characterising Strongly Normalising Intuitionistic Terms |
Santo, José Espírito |
2012 |
121 | 1-4 |
p. 83-120 |
article |
|
| 3 | Completeness and Soundness Results for 𝒳 with Intersection and Union Types |
van Bakel, Steffen |
2012 |
121 | 1-4 |
p. 1-41 |
article |
|
| 4 | Intersection Types and Termination Properties |
Koletsos, George |
2012 |
121 | 1-4 |
p. 185-202 |
article |
|
| 5 | Intersection Types from a Proof-theoretic Perspective |
Pimentel, Elaine |
2012 |
121 | 1-4 |
p. 253-274 |
article |
|
| 6 | Intersection Types with Subtyping by Means of Cut Elimination |
Laurent, Olivier |
2012 |
121 | 1-4 |
p. 203-226 |
article |
|
| 7 | On Realisability Semantics for Intersection Types with Expansion Variables |
Kamareddine, Fairouz |
2012 |
121 | 1-4 |
p. 153-184 |
article |
|
| 8 | Preface |
Ghilezan, Silvia |
2012 |
121 | 1-4 |
p. v-vi |
article |
|
| 9 | Reducibility Proofs in the λ-Calculus |
Kamareddine, Fairouz |
2012 |
121 | 1-4 |
p. 121-152 |
article |
|
| 10 | Strong Normalization in the π-calculus with Intersection and Union Types |
Piccolo, Mauro |
2012 |
121 | 1-4 |
p. 227-252 |
article |
|
| 11 | The Algebra of Expansion |
Carlier, Sébastien |
2012 |
121 | 1-4 |
p. 43-82 |
article |
|
| 12 | Towards a Logic for Union Types |
Stavrinos, Yiorgos |
2012 |
121 | 1-4 |
p. 275-302 |
article |
12 results found