BibTeX Export

@inproceedings{Authenticus:P-004-DV9,
	title = {{On principal types of BCK-lambda-Terms}},
	author = {S Broda and L Damas},
	booktitle = {Logic, Language, Information and Computation, Proceedings},
	doi = {10.1007/978-3-540-73445-1_9},
	pages = {120-130},
	publisher = {Springer-verlag Berlin},
	type = {Proceedings Paper},
	volume = {4576},
	year = {2007}
}