@Article{         lmcs:6817,
  Author        = "Kobayashi, Naoki and Lago, Ugo Dal and Grellois, Charles",
  date-added    = "2020-10-07 16:55:15 +0200",
  date-modified = "2020-10-07 16:55:15 +0200",
  Journal       = "{Logical Methods in Computer Science}",
  Keywords      = "Computer Science - Programming Languages ; Computer Science - Logic in Computer Science",
  Month         = "October",
  Title         = "{On the Termination Problem for Probabilistic Higher-Order Recursive Programs}",
  URL           = "https://lmcs.episciences.org/6817",
  Volume        = "{Volume 16, Issue 4}",
  Year          = "2020",
  bdsk-url-1    = "https://lmcs.episciences.org/6817",
  File          = "On the Termination Problem for Probabilistic Higher-Order Recursive Programs - 1811.02133.pdf"
}

@Article{ lmcs:6817, Author = "Kobayashi, Naoki and Lago, Ugo Dal and Grellois, Charles", date-added = "2020-10-07 16:55:15 +0200", date-modified = "2020-10-07 16:55:15 +0200", Journal = "{Logical Methods in Computer Science}", Keywords = "Computer Science - Programming Languages ; Computer Science - Logic in Computer Science", Month = "October", Title = "{On the Termination Problem for Probabilistic Higher-Order Recursive Programs}", URL = "https://lmcs.episciences.org/6817", Volume = "{Volume 16, Issue 4}", Year = "2020", bdsk-url-1 = "https://lmcs.episciences.org/6817", File = "On the Termination Problem for Probabilistic Higher-Order Recursive Programs - 1811.02133.pdf" }