BibTeX Export

@inproceedings{Authenticus:P-008-WVX,
	title = {{A New Translation Algorithm from Lambda Calculus into Combinatory Logic}},
	author = {S Broda and L Damas},
	booktitle = {Progress in Artificial Intelligence, 7th Portuguese Conference on Artificial Intelligence, EPIA '95, Funchal, Madeira Island, Portugal, October 3-6, 1995, Proceedings},
	doi = {10.1007/3-540-60428-6_30},
	pages = {359-370},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {990},
	year = {1995}
}