
Journals in DBLP
 Thomas Ehrhard
Finiteness spaces. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:615646 [Journal]
 ErnstErich Doberkat
Semipullbacks for stochastic relations over analytic spaces. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:647670 [Journal]
 Ana Bove, Venanzio Capretta
Modelling general recursion in type theory. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:671708 [Journal]
 Lars Birkedal, Rasmus Ejlers Møgelberg
Categorical models for Abadi and Plotkin's logic for parametricity. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:709772 [Journal]
 Giorgio Busatto, HansJörg Kreowski, Sabine Kuske
Abstract hierarchical graph transformation. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:4, pp:773819 [Journal]
