Linear lambda terms as invariants of rooted trivalent maps.

Noam Zeilberger

Published in: J. Funct. Program. (2016)

Keyphrases

artificial intelligence
co occurrence
data sets
case study
image segmentation
fixed point
piecewise linear
linear systems