DBLP Record 'journals/jsyml/BarendregtBKV78'

BibTeX

@article{DBLP:journals/jsyml/BarendregtBKV78,
  author    = {Henk Barendregt and
               Jan A. Bergstra and
               Jan Willem Klop and
               Henri Volken},
  title     = {Degrees of Sensible Lambda Theories},
  journal   = {J. Symb. Log.},
  volume    = {43},
  number    = {1},
  year      = {1978},
  pages     = {45-55},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}