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