Journals in DBLP

Applied Categorical Structures
1999, volume: 7, number: 1-2

1. 
   Density Theorems for the Domains-with-Totality Semantics of Dependent Types. [Citation Graph (, )][DBLP]
   
   
2. 
   Z-Continuous Posets and Their Topological Manifestation. [Citation Graph (, )][DBLP]
   
   
3. 
   Approximation of Metric Spaces by Partial Metric Spaces. [Citation Graph (, )][DBLP]
   
   
4. 
   On the Approximation of Denotational Mu-Semantics. [Citation Graph (, )][DBLP]
   
   
5. 
   Factorisation Systems on Domains. [Citation Graph (, )][DBLP]
   
   
6. 
   A Convenient Category for Games and Interaction. [Citation Graph (, )][DBLP]
   
   
7. 
   An Algebraic View on Recursive Types. [Citation Graph (, )][DBLP]
   
   
8. 
   Extensional Sigma-Spaces in Type Theory. [Citation Graph (, )][DBLP]
   
   
9. 
   Inductive Construction of Repletion. [Citation Graph (, )][DBLP]
   
   
10. 
    Categorical Generalization of a Universal Domain. [Citation Graph (, )][DBLP]