Proof-relevant π-calculus: a constructive account of concurrency and causality.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 9, p. 1541, doi. 10.1017/S096012951700010X
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 9
Results: 5
1
2
Preface – Special Issue on Logical Frameworks and Meta-Languages 2015.
- Published in:
- 2018
- By:
- Publication type:
- Editorial
3
Mechanizing proofs with logical relations – Kripke-style.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 9, p. 1606, doi. 10.1017/S0960129518000154
- By:
- Publication type:
- Article
4
Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 9, p. 1507, doi. 10.1017/S0960129517000093
- By:
- Publication type:
- Article
5
Plugging-in proof development environments using Locks in LF.
- Published in:
- Mathematical Structures in Computer Science, 2018, v. 28, n. 9, p. 1578, doi. 10.1017/S0960129518000105
- By:
- Publication type:
- Article