A model for syntactic control of interference.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. 435, doi. 10.1017/S0960129500000311
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1993 AND VI 3 AND IP 4
Results: 7
1
2
Author Index to Volume 3.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. 467, doi. 10.1017/S0960129500000323
- Publication type:
- Article
3
Demonic operators and monotype factors.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. 417, doi. 10.1017/S096012950000030X
- By:
- Publication type:
- Article
4
Fully abstract translations between functional languages.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. 387, doi. 10.1017/S0960129500000293
- By:
- Publication type:
- Article
5
Hypercoherences: a strongly stable model of linear logic.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. 365, doi. 10.1017/S0960129500000281
- By:
- Publication type:
- Article
6
MSC volume 3 issue 4 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. b1, doi. 10.1017/S096012950000027X
- Publication type:
- Article
7
MSC volume 3 issue 4 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 4, p. f1, doi. 10.1017/S0960129500000268
- Publication type:
- Article