Login / Signup
On a uniform representation of combinators, arithmetic, lambda terms and types.
Paul Tarau
Published in:
PPDP (2015)
Keyphrases
</>
feature representation
knowledge base
image segmentation
image representation
query terms
representation scheme
arithmetic operations