The following pages link to Grammatical Framework (Q4819368):
Displaying 13 items.
- GF (Q25581) (← links)
- Selectional restrictions, types and categories (Q280845) (← links)
- On the expressive power of abstract categorial grammars: Representing context-free formalisms (Q1770834) (← links)
- A derivational model of discontinuous parsing (Q2042730) (← links)
- IDL-PMCFG, a grammar formalism for describing free word order languages (Q2093024) (← links)
- Logic-independent proof search in logical frameworks (short paper) (Q2096460) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- Covert Movement in Logical Grammar (Q3013021) (← links)
- A pattern for almost compositional functions (Q3546044) (← links)
- MathLang Translation to Isabelle Syntax (Q3637293) (← links)
- (Q5020568) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)