Title | Citations | PageRank | Year |
---|---|---|---|
Separating Sessions Smoothly. | 0 | 0.34 | 2021 |
Prioritise the Best Variation | 0 | 0.34 | 2021 |
Better late than never: a fully-abstract semantics for classical processes. | 0 | 0.34 | 2019 |
Formalising Type-Logical Grammars in Agda. | 0 | 0.34 | 2017 |