Works matching IS 09601295 AND DT 2007 AND VI 17 AND IP 5
Results: 5
An algebraic semantics of event-based architectures.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 1029
- By:
- Publication type:
- Article
On categorical models of classical logic and the Geometry of Interaction.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 957
- By:
- Publication type:
- Article
On the ubiquity of certain total type structures.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 841, doi. 10.1017/S0960129507006251
- By:
- Publication type:
- Article
Behavioural reasoning for conditional equations?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 1075, doi. 10.1017/S0960129507006305
- By:
- Publication type:
- Article
Preface.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 5, p. 839
- By:
- Publication type:
- Article