Works matching IS 09601295 AND DT 1995 AND VI 5 AND IP 1
Results: 7
Efficient recursive subtyping.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 113, doi. 10.1017/S0960129500000657
- By:
- Publication type:
- Article
Parametric algebraic specifications with Gentzen formulas – from quasi-freeness to free functor semantics.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 69, doi. 10.1017/S0960129500000645
- By:
- Publication type:
- Article
Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 41, doi. 10.1017/S0960129500000633
- By:
- Publication type:
- Article
Completeness of category-based equational deduction.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 9, doi. 10.1017/S0960129500000621
- By:
- Publication type:
- Article
A remark on the theory of semi-functors.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. 1, doi. 10.1017/S096012950000061X
- By:
- Publication type:
- Article
MSC volume 5 issue 1 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. b1, doi. 10.1017/S0960129500000608
- Publication type:
- Article
MSC volume 5 issue 1 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 1, p. f1, doi. 10.1017/S0960129500000591
- Publication type:
- Article