@InProceedings{   HofmanLedent:LICS:2017,
  Author        = "Hofmann, Martin and Ledent, J{\'e}r{\'e}my",
  BookTitle     = "Proc. of LICS'17",
  date-added    = "2017-06-02 11:42:00 +0000",
  date-modified = "2017-06-02 11:58:15 +0000",
  Keywords      = "higher-order recursive schemes and citesme! and readme",
  Title         = "A cartesian-closed category for higher-order model checking",
  Year          = "2017",
  File          = "buchi\_ho (0) - a - a - z.pdf",
  file-2        = "slides\_buchi (0) - a - a - z.pdf"
}

@InProceedings{ HofmanLedent:LICS:2017, Author = "Hofmann, Martin and Ledent, J{\'e}r{\'e}my", BookTitle = "Proc. of LICS'17", date-added = "2017-06-02 11:42:00 +0000", date-modified = "2017-06-02 11:58:15 +0000", Keywords = "higher-order recursive schemes and citesme! and readme", Title = "A cartesian-closed category for higher-order model checking", Year = "2017", File = "buchi_ho (0) - a - a - z.pdf", file-2 = "slides_buchi (0) - a - a - z.pdf" }