Constructing weak simulations from linear implications for processes with private names.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1275, doi. 10.1017/S0960129518000452
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2019 AND VI 29 AND IP 8
Results: 13
1
2
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday.
- Published in:
- 2019
- By:
- Publication type:
- Editorial
3
Expansion trees with cut.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1009, doi. 10.1017/S0960129519000069
- By:
- Publication type:
- Article
4
A case study in programming coinductive proofs: Howe's method.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1309, doi. 10.1017/S0960129518000415
- By:
- Publication type:
- Article
5
Deep inference and expansion trees for second-order multiplicative linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1030, doi. 10.1017/S0960129518000385
- By:
- Publication type:
- Article
6
Hybrid linear logic, revisited.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1151, doi. 10.1017/S0960129518000439
- By:
- Publication type:
- Article
7
Implementing type theory in higher order constraint logic programming.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1125, doi. 10.1017/S0960129518000427
- By:
- Publication type:
- Article
8
Complexity of translations from resolution to sequent calculus.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1061, doi. 10.1017/S0960129518000476
- By:
- Publication type:
- Article
9
On the unification of classical, intuitionistic and affine logics.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1177, doi. 10.1017/S0960129518000403
- By:
- Publication type:
- Article
10
A general proof certification framework for modal logic.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1344, doi. 10.1017/S0960129518000440
- By:
- Publication type:
- Article
11
Subexponentials in non-commutative linear logic.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1217, doi. 10.1017/S0960129518000117
- By:
- Publication type:
- Article
12
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1092, doi. 10.1017/S0960129518000099
- By:
- Publication type:
- Article
13
A semantics for nabla.
- Published in:
- Mathematical Structures in Computer Science, 2019, v. 29, n. 8, p. 1250, doi. 10.1017/S0960129518000063
- By:
- Publication type:
- Article