Journals in DBLP

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

1. Abbas Edalat
   Semi-pullbacks and bisimulation in categories of Markov processes. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:523-543 [Journal]
   
2. Lawrence C. Paulson
   Final coalgebras as greatest fixed points in ZF set theory. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:545-567 [Journal]
   
3. Steven Vickers
   Topical categories of domains. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:569-616 [Journal]
   
4. Alberto Pravato, Simona Ronchi Della Rocca, Luca Roversi
   The call-by-value [lambda]-calculus: a semantic investigation. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1999, v:9, n:5, pp:617-650 [Journal]