Wilmer Ricciotti and James Cheney.

5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. 2020