BibTeX Export

@article{Authenticus:P-001-AT4,
	title = {{Compact bracket abstraction in combinatory logic}},
	author = {S Broda and L Damas},
	doi = {10.2307/2275570},
	journal = {Journal of Symbolic Logic},
	number = {3},
	pages = {729-740},
	publisher = {Assn Symbolic Logic Inc},
	type = {Article},
	volume = {62},
	year = {1997}
}