A Calculus of Gamma Programs

@inproceedings{Hankin1992ACO,
  title={A Calculus of Gamma Programs},
  author={Chris Hankin and Daniel Le M{\'e}tayer and David Sands},
  booktitle={LCPC},
  year={1992}
}