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 CoRR, vol. abs/1701.03773, 2017.
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   = {CoRR},
  volume    = {abs/1701.03773},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.03773},
  timestamp = {Wed, 01 Feb 2017 17:47:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/LitakPSS17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser