Theory of Computing Systems · 1968 · 254 citations · 2 references
Deductive MethodAutomated ReasoningDeductive SystemsLanguage StudiesSemanticsCategorical LogicCategorical ModelLinguistics
2
The Mathematics of Sentence Structure
Joachim Lambek · American Mathematical Monthly · 1958 · 1.3K citations
Samuel Eilenberg, John C. Moore · Illinois Journal of Mathematics · 1965 · 384 citations · Full text