Asymptotics and random sampling for BCI and BCK lambda terms
Bodini, O., Gardy, D., Jacquot, A.Volume:
502
Language:
english
Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2013.01.008
Date:
September, 2013
File:
PDF, 424 KB
english, 2013