DBLP Record 'journals/jflp/SatoSK02'

BibTeX

@article{DBLP:journals/jflp/SatoSK02,
  author    = {Masahiko Sato and
               Takafumi Sakurai and
               Yukiyoshi Kameyama},
  title     = {A Simply Typed Context Calculus with First-class Environments},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {2002},
  year      = {2002},
  ee        = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2002/S02-01/JFLP-A02-04.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}