C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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