Efficient lambda-Evaluation with Interaction Nets

@inproceedings{Mackie2004EfficientLW,
  title={Efficient lambda-Evaluation with Interaction Nets},
  author={Ian Craig Mackie},
  booktitle={RTA},
  year={2004}
}

Similar Papers

Loading similar papers…