Almost Every Simply Typed λ-Term Has a Long β-Reduction Sequence.

Ryoma Sin'ya Kazuyuki Asada Naoki Kobayashi Takeshi Tsukada

Published in: FoSSaCS (2017)

Keyphrases

long sequences
higher order
artificial intelligence
case study
fixed order
pseudorandom
databases
real world
web pages
decision trees
pairwise
sequential data
reduction method