MSC volume 2 issue 1 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. f1, doi. 10.1017/S0960129500001092
- Publication type:
- Article
Works matching IS 09601295 AND DT 1992 AND VI 2 AND IP 1
Results: 6
1
2
Girard quantaloids.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. 93, doi. 10.1017/S0960129500001146
- By:
- Publication type:
- Article
3
MSC volume 2 issue 1 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. b1, doi. 10.1017/S0960129500001109
- Publication type:
- Article
4
Coherence of subsumption, minimum typing and type-checking in F ≤.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. 55, doi. 10.1017/S0960129500001134
- By:
- Publication type:
- Article
5
Dependence and independence results for (impredicative) calculi of dependent types.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. 29, doi. 10.1017/S0960129500001122
- By:
- Publication type:
- Article
6
A formalism for the specification of essentially-algebraic structures in 2-categories.
- Published in:
- Mathematical Structures in Computer Science, 1992, v. 2, n. 1, p. 1, doi. 10.1017/S0960129500001110
- By:
- Publication type:
- Article