The following pages link to (Q4840207):
Displaying 5 items.
- Algebraic translations, correctness and algebraic compiler construction (Q1129121) (← links)
- A unified language processing methodology (Q1603702) (← links)
- Remarks on Compositionality (Q5213643) (← links)
- Machine Translation and Type Theory (Q5253933) (← links)
- UNIFORM DEFINABILITY IN PROPOSITIONAL DEPENDENCE LOGIC (Q5737961) (← links)
