Foundations of language-based provenance security

Cheney, James (Principal Investigator)

School of Informatics

14 Conference contribution
2 Article

2 results

Filter

2018
Proof-relevant π-calculus: a constructive account of concurrency and causality
Perera, R. & Cheney, J., Oct 2018, In: Mathematical Structures in Computer Science. 28, 9, 37 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Incremental Relational Lenses
Horn, R., Perera, R. & Cheney, J., 1 Sept 2018, In: Proceedings of the ACM on Programming Languages. 2, ICFP, 30 p., 74.
Research output: Contribution to journal › Article › peer-review

Open Access
File