On the complexity of normalization for the planar λ-calculus.

Anupam Das Damiano Mazza Lê Thành Dung Nguyên Noam Zeilberger

Published in: CoRR (2024)

Keyphrases

computational complexity
neural network
website
data sets
databases
social networks
computer vision
three dimensional
preprocessing
decision problems