Enumerating lambda terms by weighted length of their De Bruijn representation
Bodini, Olivier, Gittenberger, Bernhard, Gołębiewski, ZbigniewVolume:
239
Language:
english
Journal:
Discrete Applied Mathematics
DOI:
10.1016/j.dam.2017.12.042
Date:
April, 2018
File:
PDF, 478 KB
english, 2018