Publication | Closed Access
Primitive recursion for higher-order abstract syntax
93
Citations
12
References
2001
Year
SyntaxEngineeringAutomated ReasoningGrammatical FormalismFormal MethodsGrammarLanguage StudiesUnification GrammarRecursive FunctionLinguisticsPrimitive Recursion
| Year | Citations | |
|---|---|---|
Page 1
Page 1