A natural counting of Lambda terms.

Maciej Bendkowski Katarzyna Grygiel Pierre Lescanne Marek Zaionc

Published in: CoRR (2015)

Keyphrases

databases
real world
case study
computer vision
background knowledge