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} }