Author Index to Volume 5.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 563, doi. 10.1017/S0960129500001237
- Publication type:
- Article
Works matching IS 09601295 AND DT 1995 AND VI 5 AND IP 4
Results: 9
1
2
Order-enrichment for categories of partial maps.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 533, doi. 10.1017/S0960129500001225
- By:
- Publication type:
- Article
3
Fibrations with indeterminates: contextual and functional completeness for polymorphic lambda calculi.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 501, doi. 10.1017/S0960129500001213
- By:
- Publication type:
- Article
4
Reductions in Intuitionistic Linear Logic.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 483, doi. 10.1017/S0960129500001201
- By:
- Publication type:
- Article
5
Sound and complete axiomatisations of call-by-value control operators.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 461, doi. 10.1017/S0960129500001195
- By:
- Publication type:
- Article
6
Connected limits, familial representability and Artin glueing.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 441, doi. 10.1017/S0960129500001183
- By:
- Publication type:
- Article
7
Preface.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. 439, doi. 10.1017/S0960129500001171
- By:
- Publication type:
- Article
8
MSC volume 5 issue 4 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. b1, doi. 10.1017/S096012950000116X
- Publication type:
- Article
9
MSC volume 5 issue 4 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 4, p. f1, doi. 10.1017/S0960129500001158
- Publication type:
- Article