activity
20132026
most citedImperative Functional Programs that Explain their Work

16 citations · 82 across the 19 of their papers we have counts for

collaborators
Showing 2016 · cs.LOShow all

1 paper · 2 filters

cs.LO2016

Proof-relevant -calculus: a constructive account of concurrency and causality

Roly Perera, James Cheney

We present a formalisation in Agda of the theory of concurrent transitions, residuation, and causal equivalence of traces for the pi-calculus. Our formalisation employs de Bruijn i…