DBLP Record 'journals/corr/abs-0806-2264'

BibTeX

@article{DBLP:journals/corr/abs-0806-2264,
  author    = {Chantal Berline and
               Giulio Manzonetto and
               Antonino Salibra},
  title     = {Effective lambda-models vs recursively enumerable lambda-theories},
  journal   = {CoRR},
  volume    = {abs/0806.2264},
  year      = {2008},
  ee        = {http://arxiv.org/abs/0806.2264},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}