海量图书期刊资源，随时随地畅享阅读乐趣
NEW DIRECTIONS IN TYPE-THEORETIC GRAMMARS || PGF: A Portable Run-time Format for Type-theoretical GrammarsKrasimir Angelov, Björn Bringert and Aarne Ranta · Journal of Logic, Language, and Information · 2010