FioreT01'

BibTeX

@inproceedings{DBLP:conf/lics/FioreT01,
  author    = {Marcelo P. Fiore and
               Daniele Turi},
  title     = {Semantics of Name and Value Passing},
  booktitle = {LICS},
  year      = {2001},
  pages     = {93-104},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}