@Article{         2018arXiv180103886A,
  Author        = "{Asada}, K. and {Kobayashi}, N. and {Sin'ya}, R. and {Tsukada}, T.",
  adsnote       = "Provided by the SAO/NASA Astrophysics Data System",
  adsurl        = "http://adsabs.harvard.edu/abs/2018arXiv180103886A",
  ArchivePrefix = "arXiv",
  date-added    = "2018-10-30 10:50:12 +0100",
  date-modified = "2018-10-30 10:50:12 +0100",
  EPrint        = "1801.03886",
  Journal       = "ArXiv e-prints",
  Keywords      = "Computer Science - Logic in Computer Science, F.4.3",
  Month         = "January",
  PrimaryClass  = "cs.LO",
  Title         = "{Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence}",
  Year          = "2018",
  File          = "Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence - 1801.03886 - a - a - a - b.pdf",
  file-2        = "1801.03886 (0) - a - a - b.pdf"
}

@Article{ 2018arXiv180103886A, Author = "{Asada}, K. and {Kobayashi}, N. and {Sin'ya}, R. and {Tsukada}, T.", adsnote = "Provided by the SAO/NASA Astrophysics Data System", adsurl = "http://adsabs.harvard.edu/abs/2018arXiv180103886A", ArchivePrefix = "arXiv", date-added = "2018-10-30 10:50:12 +0100", date-modified = "2018-10-30 10:50:12 +0100", EPrint = "1801.03886", Journal = "ArXiv e-prints", Keywords = "Computer Science - Logic in Computer Science, F.4.3", Month = "January", PrimaryClass = "cs.LO", Title = "{Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence}", Year = "2018", File = "Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence - 1801.03886 - a - a - a - b.pdf", file-2 = "1801.03886 (0) - a - a - b.pdf" }