Digital Library
Close Browse articles from a journal
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             9 results found
no title author magazine year volume issue page(s) type
1 A binary modal logic for the intersection types of lambda-calculus Valentini, Silvio
2003
185 2 p. 211-232
22 p.
article
2 Editorial Board 2003
185 2 p. IFC-
1 p.
article
3 Editorial Board 2003
185 2 p. i-
1 p.
article
4 Modelling environments in call-by-value programming languages Levy, PaulBlain
2003
185 2 p. 182-210
29 p.
article
5 Non-commutative logic III: focusing proofs Maieli, Roberto
2003
185 2 p. 233-262
30 p.
article
6 On learning multicategory classification with sample queries Ratsaby, Joel
2003
185 2 p. 298-327
30 p.
article
7 Refining the hierarchy of blind multicounter languages and twist-closed trios Jantzen, Matthias
2003
185 2 p. 159-181
23 p.
article
8 Theories with self-application and computational complexity Strahm, Thomas
2003
185 2 p. 263-297
35 p.
article
9 Volume Author Index 2003
185 2 p. 328-
1 p.
article
                             9 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands