@inproceedings{conf/icfp/TanakaP05,
	title = {A unified category-theoretic formulation of typed binding signatures.},
	author = {Miki Tanaka and John Power},
	booktitle = {MERLIN},
	crossref = {conf/icfp/2005merlin},
	editor = {Randy Pollack},
	pages = {13-24},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/icfp/merlin2005.html#TanakaP05},
	year = {2005},
	biburl = {http://www.bibsonomy.org/bibtex/27d985ff587081404d368d424d66a307e/dblp},
	description = {dblp},
	ee = {http://doi.acm.org/10.1145/1088454.1088457}, date = {2008-04-23},
	keywords = {dblp }
}