Journals in DBLP

Mathematical Structures in Computer Science
1991, volume: 1, number: 2

1. C. E. Martin, C. A. R. Hoare, Jifeng He
   Pre-Adjunctions in Order Enriched Categories. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:141-158 [Journal]
   
2. Michael Barr
   *-Autonomous Categories and Linear Logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:159-178 [Journal]
   
3. Ross Casley, Roger F. Crew, José Meseguer, Vaughan R. Pratt
   Temporal Structures. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:179-213 [Journal]
   
4. Giuseppe Longo, Eugenio Moggi
   Constructive Natural Deduction and its `Omega-Set' Interpretation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1991, v:1, n:2, pp:215-254 [Journal]