Cited By
View all- STERLING J(2021)Higher order functions and Brouwer’s thesisJournal of Functional Programming10.1017/S095679682100009531Online publication date: 19-May-2021
- Cohen L(2021)Formally Computing with the Non-computableConnecting with Computability10.1007/978-3-030-80049-9_12(135-145)Online publication date: 2-Jul-2021
- Rahli VBickford MCohen LConstable R(2019)Bar Induction is Compatible with Constructive Type TheoryJournal of the ACM10.1145/330526166:2(1-35)Online publication date: 24-Apr-2019
- Show More Cited By