|
Journals in DBLP
- Yuxi Fu
Categorical Properties of Logical Frameworks. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:1, pp:1-47 [Journal]
- Dusko Pavlovic
Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:1, pp:49-73 [Journal]
- Thierry Coquand, Peter Dybjer
Intuitionistic Model Constructions and Normalization Proofs. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:1, pp:75-94 [Journal]
|