DBLP Record 'journals/aaecc/FerreiraKP99'

BibTeX

@article{DBLP:journals/aaecc/FerreiraKP99,
  author    = {Maria C. F. Ferreira and
               Delia Kesner and
               Laurence Puel},
  title     = {lambda-Calculi with Explicit Substitutions Preserving Strong
               Normalization},
  journal   = {Appl. Algebra Eng. Commun. Comput.},
  volume    = {9},
  number    = {4},
  year      = {1999},
  pages     = {333-371},
  ee        = {http://link.springer.de/link/service/journals/00200/bibs/9009004/90090333.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}