A universality theorem for PCF with recursive types, parallel-or and ∃.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. 111, doi. 10.1017/S0960129500000384
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1994 AND VI 4 AND IP 1
Results: 6
1
2
Categorical data types in parametric polymorphism.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. 71, doi. 10.1017/S0960129500000372
- By:
- Publication type:
- Article
3
Categories, relations and dynamic programming.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. 33, doi. 10.1017/S0960129500000360
- By:
- Publication type:
- Article
4
Recognizable sets of graphs: equivalent definitions and closure properties.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. 1, doi. 10.1017/S0960129500000359
- By:
- Publication type:
- Article
5
MSC volume 4 issue 1 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. b1, doi. 10.1017/S0960129500000347
- Publication type:
- Article
6
MSC volume 4 issue 1 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 1, p. f1, doi. 10.1017/S0960129500000335
- Publication type:
- Article