Journals in DBLP

Mathematical Structures in Computer Science
1997, volume: 7, number: 5

1. Abbas Edalat
   When Scott is Weak on the Top. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:401-417 [Journal]
   
2. Jirí Adámek
   A Categorical Generalization of Scott Domains. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:419-443 [Journal]
   
3. Christian Retoré
   A Semantic Characterisation of the Correctness of a Proof Net. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:445-452 [Journal]
   
4. John Power, Edmund Robinson
   Premonoidal Categories and Notions of Computation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:453-468 [Journal]
   
5. John R. Longley, Alex K. Simpson
   A Uniform Approach to Domain Theory in Realizability Models. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:469-505 [Journal]
   
6. John Hatcliff, Olivier Danvy
   A Computational Formalization for Partial Evaluation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:507-541 [Journal]
   
7. Jimmie Lawson
   Spaces of Maximal Points. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:543-555 [Journal]
   
8. Søren B. Lassen
   Action Semantics Reasoning about Functional Programs. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:557-589 [Journal]
   
9. Marcelo P. Fiore
   An Enrichment Theorem for an Axiomatisation of Categories of Domains and Continuous Functions. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1997, v:7, n:5, pp:591-618 [Journal]