An extended type system with lambda-typed lambda-expressions.

Published in: CoRR (2018)

Keyphrases

lambda calculus
database query languages
fixed point
higher order
computer vision
programming language
facial expressions
real world
search engine
special case
natural language
hidden markov models
database
learning environment
similarity measure
knowledge base
machine learning
neural network