Publisher
Springer Nature Singapore
Reference31 articles.
1. Lecture Notes in Computer Science;M Abbott,2003
2. The Agda Community: Agda standard library (2023). https://github.com/agda/agda-stdlib
3. Appel, A.W., Leroy, X.: Efficient extensional binary tries. J. Autom. Reason. 67(1), 8 (2023). https://doi.org/10.1007/s10817-022-09655-x
4. Barthe, G., Capretta, V., Pons, O.: Setoids in type theory. J. Funct. Program. 13(2), 261–293 (2003). https://doi.org/10.1017/S0956796802004501
5. Bessis, D.: The dual braid monoid. Annales scientifiques de l’Ecole normale supérieure 36(5), 647–683 (2003). https://doi.org/10.1016/j.ansens.2003.01.001