research

Publications

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

Authors

L Damas