Skip to search formSkip to main contentSkip to account menu

Recursive categorical syntax

Known as: Algebraic syntax, Categorical 
Recursive categorical syntax, also sometimes called algebraic syntax, is an algebraic theory of syntax developed by Michael Brame as an alternative… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Algebraic Syntax and Solving Word Problems
Review
2007
Review
2007
SPARQL - Where are we? Current state, theory and practice
After the data and ontology layers of the Semantic Web stack have achieved considerable stability, the query layer, realized by… 
2001
2001
Macros for Languages with Conventional Algebraic Syntax
Motivation: The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system… 
2001
2001
A Progressive Methodology for the Verification of a DSP Chip
In this paper we describe a methodology for the formal verification using theorem proving of a DSP processor chip. We specified… 
1990
1990
'Subject' in Recursive Categorical Syntax
A hearer oriented definition of subject may be seen basically as one which attempts to capture 'subject' in such a way so, that… 
1989
1989
On the complexity of nested relational operations
Designing and implementing a query optimizer and query processor for a nested rela.tional database system (DBMS) requires a… 
1989
1989
"Subject"in Recursive Categorical Syntax
1987
1987
Recursive categorical syntax of Japanese
Review
1985
Review
1985
Spatial Cues in Algebraic Syntax.
ABSTRACT Language syntax is discussed, followed by an overview of algbraic syntax. Evaluating algebraic expressions was chosen as… 
1980
1980
QUADRIL: A computer language for the description of quadric-surface bodies
Most man-made objects can be closely approximated by bodies whose surfaces are composed of portions of second-order (quadric…