BibTeX Export

@inproceedings{Authenticus:P-007-DFP,
	title = {{A context-free grammar representation for normal inhabitants of types in TAλ}},
	author = {S Broda and L Damas},
	booktitle = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	doi = {10.1007/3-540-45329-6_32},
	pages = {321-334},
	publisher = {Springer},
	type = {Proceedings Paper},
	volume = {2258 LNAI},
	year = {2001}
}