Mackie94'

BibTeX

@inproceedings{DBLP:conf/imperial/Mackie94,
  author    = {Ian Mackie},
  title     = {A Lambda-Evaluator Based on Interaction Nets},
  booktitle = {Theory and Formal Methods},
  year      = {1994},
  pages     = {41-60},
  crossref  = {DBLP:conf/imperial/1994},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/imperial/1994,
  editor    = {Chris Hankin and
               Ian Mackie and
               Rajagopal Nagarajan},
  title     = {Proceedings for the Second Imperial College Department of
               Computing Workshop on Theory and Formal Methods, M{\o}ller
               Centre, Cambridge, 11-14 September 1994},
  booktitle = {Theory and Formal Methods},
  publisher = {Imperial College Press},
  year      = {1995},
  isbn      = {1-86094-003-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}