A Labelled Transition Systems for pi-epsilon-Calculus

@inproceedings{Breugel1997ALT,
  title={A Labelled Transition Systems for pi-epsilon-Calculus},
  author={Franck van Breugel},
  booktitle={TAPSOFT},
  year={1997}
}
1 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…