The Drinker Paradox and its Dual. - Louis Warren; Hannes Diener; Maarten McKubre-Jordens (CoRR, 2018)

First-order natural deduction in Agda. - Louis Warren (CoRR, 2021)