Categorical models for non-extensional λ-calculi and combinatory logic.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. 327, doi. 10.1017/S096012950000150X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1992 AND VI 2 AND IP 3
Results: 6
1
2
Projections for polymorphic first-order strictness analysis.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. 301, doi. 10.1017/S0960129500001493
- By:
- Publication type:
- Article
3
Building domains from graph models.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. 277, doi. 10.1017/S0960129500001481
- By:
- Publication type:
- Article
4
Processes as terms: non-well-founded models for bisimulation.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. 257, doi. 10.1017/S096012950000147X
- By:
- Publication type:
- Article
5
An imperative language based on distributive categories.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. 249, doi. 10.1017/S0960129500001468
- By:
- Publication type:
- Article
6
MSC volume 2 issue 3 Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 3, p. f1, doi. 10.1017/S0960129500001456
- Publication type:
- Article