Curien85'

@inproceedings{DBLP:conf/tapsoft/Curien85,
  author    = {Pierre-Louis Curien},
  title     = {Typed Categorial Combinatory Logic},
  booktitle = {TAPSOFT, Vol.1},
  year      = {1985},
  pages     = {157-172},
  ee        = {http://dx.doi.org/10.1007/3-540-15198-2_10},
  crossref  = {DBLP:conf/tapsoft/1985-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/tapsoft/1985-1,
  editor    = {Hartmut Ehrig and
               Christiane Floyd and
               Maurice Nivat and
               James W. Thatcher},
  title     = {Mathematical Foundations of Software Development, Proceedings
               of the International Joint Conference on Theory and Practice
               of Software Development (TAPSOFT), Berlin, Germany, March
               25-29, 1985, Volume 1: Colloquium on Trees in Algebra and
               Programming (CAAP'85)},
  booktitle = {TAPSOFT, Vol.1},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {185},
  year      = {1985},
  isbn      = {3-540-15198-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}