Model Theory and Proof Theory of CPL (bibtex)
by Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
Reference:
Model Theory and Proof Theory of CPL (Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder), In Logical Methods in Computer Science, 2017. (accepted to a special issue in honor of Jiří Adámek, to appear)
Bibtex Entry:
@article{LitakPSS17,
  author    = {Tadeusz Litak and
               Dirk Pattinson and
               Katsuhiko Sano and
               Lutz Schr{\"{o}}der},
  title     = {Model Theory and Proof Theory of {CPL}},
  journal   = {Logical Methods in Computer Science},
  year      = {2017},
  note = {accepted to a special  issue  in honor of Ji\v{r}\'i Ad\'amek, to appear},
  url       = {http://arxiv.org/abs/1701.03773},
}
Powered by bibtexbrowser