Order algebras: a quantitative model of interaction.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1126, doi. 10.1017/S0960129516000360
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 7
Results: 8
1
2
Execution time of λ-terms via denotational semantics and intersection types.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1169, doi. 10.1017/S0960129516000396
- By:
- Publication type:
- Article
3
Transport of finiteness structures and applications.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1061, doi. 10.1017/S0960129516000384
- By:
- Publication type:
- Article
4
An introduction to differential linear logic: proof-nets, models and antiderivatives.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 995, doi. 10.1017/S0960129516000372
- By:
- Publication type:
- Article
5
Preface.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
6
An explicit formula for the free exponential modality of linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1253, doi. 10.1017/S0960129516000426
- By:
- Publication type:
- Article
7
Jump from parallel to sequential proofs: exponentials.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1204, doi. 10.1017/S0960129516000414
- By:
- Publication type:
- Article
8
The true concurrency of differential interaction nets.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 7, p. 1097, doi. 10.1017/S0960129516000402
- By:
- Publication type:
- Article