Publisher
Springer Nature Switzerland
Reference9 articles.
1. Agda documentation. https://agda.readthedocs.io/. Accessed 05 Feb 2022
2. Lecture Notes in Computer Science;R Bird,1998
3. Bird, R., Paterson, R.: De Bruijn notation as a nested datatype. J. Funct. Program. 9(1), 77–91 (1999). https://doi.org/10.1017/S0956796899003366
4. Bird, R., Paterson, R.: Generalised folds for nested datatypes. Formal Aspects Comput. 11(2), 200–222 (1999). https://doi.org/10.1007/s001650050047
5. Fu, P., Selinger, P.: Agda code accompanying this paper (2023). https://www.mathstat.dal.ca/~selinger/papers/downloads/Wollic.agda