Simply typed convertibility is TOWER-complete even for safe lambda-terms.

Lê Thành Dung Nguyên

Published in: CoRR (2023)

Keyphrases

lambda calculus
higher order
image processing
data sets
neural network
web pages
three dimensional
high level
multi agent
image retrieval