Linear lambda terms as invariants of rooted trivalent maps

Noam Zeilberger. Linear lambda terms as invariants of rooted trivalent maps. Journal of Functional Programming, 26, 2016. [doi]

Abstract

Abstract is missing.