A context-free grammar representation for normal inhabitants of types in TAλ
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2001 | inproceedings
Publication
Year of publication: 2001
Volume : 2258 LNAI
Pages : 321-334
Month :
CMUP publication : Yes