Journals in DBLP

Mathematical Structures in Computer Science
1999, volume: 9, number: 4

1. Mariangiola Dezani-Ciancaglini, Giuseppe Longo, Jonathan P. Seldin
   Preface. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:321- [Journal]
   
2. Thierry Coquand, Martin Hofmann
   A new method for establishing conservativity of classical systems over their intuitionistic version. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:323-333 [Journal]
   
3. Herman Geuvers, Erik Barendsen
   Some logical and syntactical observations concerning the first-order dependent type system lambda-P. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:335-359 [Journal]
   
4. Richard Statman
   On the existence of n but not n + 1 easy combinators. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:361-365 [Journal]
   
5. Davide Sangiorgi
   From lambda to pi; or, Rediscovering continuations. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:367-401 [Journal]
   
6. Furio Honsell, Marina Lenisa
   Coinductive characterizations of applicative structures. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:403-435 [Journal]
   
7. Gérard Boudol, Pierre-Louis Curien, Carolina Lavatelli
   A semantics for lambda calculi with resources. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:437-482 [Journal]
   
8. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
   Extending partial combinatory algebras. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:483-505 [Journal]
   
9. Norman Danner, Daniel Leivant
   Stratified polymorphism and primitive recursion. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:507-522 [Journal]