Categorical Generalization of a Universal Domain.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 209, doi. 10.1023/A:1008608823476
- By:
- Publication type:
- Article
Works matching IS 09272852 AND DT 1999 AND VI 7 AND IP 1/2
Results: 11
1
2
Inductive Construction of Repletion.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 185, doi. 10.1023/A:1008604622568
- By:
- Publication type:
- Article
3
Extensional Σ-Spaces in Type Theory.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 159, doi. 10.1023/A:1008600521659
- By:
- Publication type:
- Article
4
A Convenient Category for Games and Interaction.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 129, doi. 10.1023/A:1008696303912
- By:
- Publication type:
- Article
5
Factorisation Systems on Domains.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 113, doi. 10.1023/A:1008644319842
- By:
- Publication type:
- Article
6
On the Approximation of Denotational Mu-Semantics.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 85, doi. 10.1023/A:1008692203004
- By:
- Publication type:
- Article
7
Approximation of Metric Spaces by Partial Metric Spaces.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 71, doi. 10.1023/A:1008684018933
- By:
- Publication type:
- Article
8
Density Theorems for the Domains-with-Totality Semantics of Dependent Types.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 3, doi. 10.1023/A:1008632017116
- By:
- Publication type:
- Article
9
Z-Continuous Posets and Their Topological Manifestation.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 31, doi. 10.1023/A:1008657800278
- By:
- Publication type:
- Article
10
Preface.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 1, doi. 10.1023/A:1017114016207
- Publication type:
- Article
11
An Algebraic View on Recursive Types.
- Published in:
- Applied Categorical Structures, 1999, v. 7, n. 1/2, p. 147, doi. 10.1023/A:1008648420750
- By:
- Publication type:
- Article