@Unpublished{     pradic:hal-01698648,
  Author        = "Pradic, Pierre and Riba, Colin",
  date-added    = "2018-04-02 07:27:13 +0000",
  date-modified = "2018-04-02 07:27:13 +0000",
  hal_id        = "hal-01698648",
  hal_version   = "v1",
  Keywords      = "Categorical Logic ; Game Semantics ; Realizability ; Linear Logic ; Monadic Second-Order Logic on Infinite Words",
  Month         = "February",
  Note          = "working paper or preprint",
  PDF           = "https://hal.archives-ouvertes.fr/hal-01698648/file/linchurch.pdf",
  Title         = "{LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic}",
  URL           = "https://hal.archives-ouvertes.fr/hal-01698648",
  Year          = "2018",
  bdsk-url-1    = "https://hal.archives-ouvertes.fr/hal-01698648",
  File          = "linchurch (0) - a - a - r.pdf",
  file-2        = "church (0) - a - a - r.pdf"
}

@Unpublished{ pradic:hal-01698648, Author = "Pradic, Pierre and Riba, Colin", date-added = "2018-04-02 07:27:13 +0000", date-modified = "2018-04-02 07:27:13 +0000", hal_id = "hal-01698648", hal_version = "v1", Keywords = "Categorical Logic ; Game Semantics ; Realizability ; Linear Logic ; Monadic Second-Order Logic on Infinite Words", Month = "February", Note = "working paper or preprint", PDF = "https://hal.archives-ouvertes.fr/hal-01698648/file/linchurch.pdf", Title = "{LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic}", URL = "https://hal.archives-ouvertes.fr/hal-01698648", Year = "2018", bdsk-url-1 = "https://hal.archives-ouvertes.fr/hal-01698648", File = "linchurch (0) - a - a - r.pdf", file-2 = "church (0) - a - a - r.pdf" }