TY  - RPRT
TI  - A Logic Programming Playground for Lambda Terms, Combinators, Types and Tree-based Arithmetic Computations
AU  - Paul Tarau
PY  - 2015
UR  - https://arxiv.org/abs/1507.06944
ID  - 1507.06944
ER  -