Barendregt’s Lemma

Cite this paper

@inproceedings{Vrijer2007BarendregtsL, title={Barendregt’s Lemma}, author={Roel de Vrijer}, year={2007} }