The following pages link to Aarne Ranta (Q1280046):
Displayed 22 items.
- Syntactic calculus with dependent types (Q1280047) (← links)
- (Q2767009) (← links)
- Intuitionistic categorial grammar (Q3348895) (← links)
- (Q3400634) (← links)
- A pattern for almost compositional functions (Q3546044) (← links)
- (Q4370232) (← links)
- (Q4380479) (← links)
- (Q4380482) (← links)
- (Q4414106) (← links)
- Context-relative syntactic categories and the formalization of mathematical text (Q4647583) (← links)
- (Q4738328) (← links)
- Grammatical Framework (Q4819368) (← links)
- (Q4828473) (← links)
- (Q4843182) (← links)
- Constructing possible worlds* (Q4861492) (← links)
- Functional morphology (Q5178037) (← links)
- Translating between Language and Logic: What Is Easy and What Is Difficult (Q5200012) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- (Q5438967) (← links)
- A pattern for almost compositional functions (Q5501469) (← links)
- Syntactic categories in the language of mathematics (Q6061879) (← links)
- Type theory and the informal language of mathematics (Q6083701) (← links)