An extended type system with lambda-typed lambda-expressions (extended version).

Published in: CoRR (2018)

Keyphrases

lambda calculus
databases
neural network
bayesian networks
artificial intelligence
image processing
data structure
search algorithm
data streams
artificial neural networks
fixed point