Some monoidal closed categories of stable domains and event structures.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. 259, doi. 10.1017/S0960129500000207
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1993 AND VI 3 AND IP 2
Results: 7
1
2
Least fixpoints of endofunctors of cartesian closed categories.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. 229, doi. 10.1017/S0960129500000190
- By:
- Publication type:
- Article
3
Quantales, observational logic and process semantics.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. 161, doi. 10.1017/S0960129500000189
- By:
- Publication type:
- Article
4
Universal domains and the amalgamation property.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. 137, doi. 10.1017/S0960129500000177
- By:
- Publication type:
- Article
5
Admissible and derivable rules in intuitionistic logic.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. 129, doi. 10.1017/S0960129500000165
- By:
- Publication type:
- Article
6
MSC volume 3 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. b1, doi. 10.1017/S0960129500000153
- Publication type:
- Article
7
MSC volume 3 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 2, p. f1, doi. 10.1017/S0960129500000141
- Publication type:
- Article