@inproceedings{conf/types/Xi07,
	title = {Attributive Types for Proof Erasure.},
	author = {Hongwei Xi},
	booktitle = {TYPES},
	crossref = {conf/types/2007},
	editor = {Marino Miculan and Ivan Scagnetto and Furio Honsell},
	pages = {188-202},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/types/types2007.html#Xi07},
	volume = {4941},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/285077e6ec94631b3b1c4d7cb36bdf2ea/dblp},
	description = {dblp},
	date = {2008-05-13}, ee = {http://dx.doi.org/10.1007/978-3-540-68103-8_13}, isbn = {978-3-540-68084-0},
	keywords = {dblp }
}