• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Ryoma Sin'yaKazuyuki AsadaNaoki KobayashiTakeshi 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