DBLP Record 'conf/ctcs/Poigne85c'

BibTeX

@inproceedings{DBLP:conf/ctcs/Poigne85c,
  author    = {Axel Poign{\'e}},
  title     = {Category Theory and Logic},
  booktitle = {CTCS},
  year      = {1985},
  pages     = {103-142},
  crossref  = {DBLP:conf/ctcs/1985},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ctcs/1985,
  editor    = {David H. Pitt and
               Samson Abramsky and
               Axel Poign{\'e} and
               David E. Rydeheard},
  title     = {Category Theory and Computer Programming, Tutorial and Workshop,
               Guildford, UK, September 16-20, 1985 Proceedings},
  booktitle = {CTCS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {240},
  year      = {1986},
  isbn      = {3-540-17162-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}