References
- [1] H. Barendregt, The-calculus, its syntax and semantics, Studies in Logic, 103 (1984).
- [2] O. Bernardi, Bijective counting of Kreweras walks and loopless triangulations, J. Combin. Theory Ser. A, 114 (2007) 931–956.
- [3] O. Bodini, D. Gardy, B. Gittenberger and A. Jacquot, Enumeration of generalized BCI lambda-terms, Electron. J. Combin., 20 (2013) #P30.10.37236/3051
- [4] O. Bodini, D. Gardy and A. Jacquot, Asymptotics and random sampling for BCI and BCK lambda terms, Theoret. Comput. Sci., 502 (2013) 227_238.
- [5] O. Bodini, A. Singh and N. Zeilberger, Asymptotic distribution of parameters in trivalent maps and linear lambda terms, arXiv:2106.08291.
- [6] J. Courtiel, K. Yeats and N. Zeilberger, Connected chord diagrams and bridgeless maps, Electron. J. Combin., 26 (2019) #P4.37.10.37236/7400
- [7] S. K. Lando and A. K. Zvonkin, Graphs on surfaces and their applications, volume 141, Springer Science & Business Media, 2013.
- [8] P. Tarau and V. de Paiva, Deriving theorems in implicational linear logic, declaratively, arXiv:2009.10241.
- [9] N. Zeilberger, Linear lambda terms as invariants of rooted trivalent maps, Journal of Functional Programming, 26 (2016) E21.10.1017/S095679681600023X
- [10] N. Zeilberger, A theory of linear typings as flows on 3-valent graphs, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, pp. 919–928.10.1145/3209108.3209121
- [11] N. Zeilberger and A. Giorgetti, A correspondence between rooted planar maps and normal planar lambda terms, Log. Methods Comput. Sci., 11 (2015) 1–39.