Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence.

Kazuyuki Asada Naoki Kobayashi Ryoma Sin'ya Takeshi Tsukada

Published in: CoRR (2018)

Keyphrases

lambda calculus
long sequences
fixed order
fixed point
real world
term frequency
data mining
social networks
knowledge base
case study
multiscale
pairwise
regularization term
reduction method
sequence analysis