Works matching IS 09601295 AND DT 1995 AND VI 5 AND IP 3
Results: 8
A note on the structure of bilattices.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 431, doi. 10.1017/S0960129500000827
- By:
- Publication type:
- Article
Strong normalization with non-structural subtyping.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 419, doi. 10.1017/S0960129500000815
- By:
- Publication type:
- Article
A generalization of the trie data structure.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 381, doi. 10.1017/S0960129500000803
- By:
- Publication type:
- Article
Causal dependencies in multiplicative linear logic with MIX.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 351, doi. 10.1017/S0960129500000797
- By:
- Publication type:
- Article
Equivalences between logics and their representing type theories.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 323, doi. 10.1017/S0960129500000785
- By:
- Publication type:
- Article
Finitary sketches and finitely accessible categories.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. 315, doi. 10.1017/S0960129500000773
- By:
- Publication type:
- Article
MSC volume 5 issue 3 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. b1, doi. 10.1017/S0960129500000761
- Publication type:
- Article
MSC volume 5 issue 3 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1995, v. 5, n. 3, p. f1, doi. 10.1017/S096012950000075X
- Publication type:
- Article