Curry-Style Types for Nominal Terms 论文

2007Lecture notes in computer science引用 305
Logic, programming, and type systemsAdvanced Database Systems and QueriesNatural Language Processing Techniques