[
[1] H. Barendregt, The-calculus, its syntax and semantics, Studies in Logic, 103 (1984).
]Search in Google Scholar
[
[2] O. Bernardi, Bijective counting of Kreweras walks and loopless triangulations, J. Combin. Theory Ser. A, 114 (2007) 931–956.
]Search in Google Scholar
[
[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
]Search in Google Scholar
[
[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.
]Search in Google Scholar
[
[5] O. Bodini, A. Singh and N. Zeilberger, Asymptotic distribution of parameters in trivalent maps and linear lambda terms, arXiv:2106.08291.
]Search in Google Scholar
[
[6] J. Courtiel, K. Yeats and N. Zeilberger, Connected chord diagrams and bridgeless maps, Electron. J. Combin., 26 (2019) #P4.37.10.37236/7400
]Search in Google Scholar
[
[7] S. K. Lando and A. K. Zvonkin, Graphs on surfaces and their applications, volume 141, Springer Science & Business Media, 2013.
]Search in Google Scholar
[
[8] P. Tarau and V. de Paiva, Deriving theorems in implicational linear logic, declaratively, arXiv:2009.10241.
]Search in Google Scholar
[
[9] N. Zeilberger, Linear lambda terms as invariants of rooted trivalent maps, Journal of Functional Programming, 26 (2016) E21.10.1017/S095679681600023X
]Search in Google Scholar
[
[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
]Search in Google Scholar
[
[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.
]Search in Google Scholar
