Login / Signup
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.
Kazuyuki Asada
Naoki Kobayashi
Ryoma Sin'ya
Takeshi Tsukada
Published in:
Log. Methods Comput. Sci. (2019)
Keyphrases
</>
lambda calculus
long sequences
higher order
fixed order
information retrieval
computer vision
fixed point
pseudorandom
real time
data sets
databases
neural network
genetic algorithm
artificial intelligence
case study