|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
|