Andrew Gacek, Dale Miller, Gopalan Nadathur. Nominal abstraction. Inf. Comput., 209(1):48-73, 2011. [doi]
@article{GacekMN11, title = {Nominal abstraction}, author = {Andrew Gacek and Dale Miller and Gopalan Nadathur}, year = {2011}, doi = {10.1016/j.ic.2010.09.004}, url = {http://dx.doi.org/10.1016/j.ic.2010.09.004}, tags = {abstraction}, researchr = {https://researchr.org/publication/GacekMN11}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {209}, number = {1}, pages = {48-73}, }