Cited By
View all- Fairweather EFernández M(2018)Typed Nominal RewritingACM Transactions on Computational Logic10.1145/316155819:1(1-46)Online publication date: 8-Feb-2018
- RAHLI VBICKFORD M(2017)Validating Brouwer's continuity principle for numbers using named exceptionsMathematical Structures in Computer Science10.1017/S096012951700017228:06(942-990)Online publication date: 2-Nov-2017
- Rahli VBickford MAvigad JChlipala A(2016)A nominal exploration of intuitionismProceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs10.1145/2854065.2854077(130-141)Online publication date: 18-Jan-2016
- Show More Cited By