Projects top banner

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)

Book

L. Damas

Publication

Year of publication: 2001

Volume: 2258 LNAI

Pages: 321-334

Identifiers

Other: 2-s2.0-20844438073

Locators

Alternative Titles

Preprint

File