Skip to search formSkip to main contentSkip to account menu

Higher order grammar

Known as: Higher-order grammar, Hog 
Higher order grammar (HOG) is a grammar theory based on higher-order logic. It can be viewed simultaneously as generative-enumerative (like… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Categorial grammarHead-driven phrase structure grammarLexical functional grammarMontague grammar

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
Universal Higher Order Grammar
We examine the class of languages that can be defined entirely in terms of provability in an extension of the sorted type theory… 
2009
2009
A Note On Higher Order Grammar
Both syntax-phonology and syntax-semantics interfaces in Higher Order Grammar (HOG) are expressed as axiomatic theories in higher… 
2008
2008
Local computation of β-reduction 1 A concrete presentation of Game Semantics 2
5 We show that ... 
2007
2007
Small CCC ’ s as Logical Forms for LFG Glue Semantics
In this brief note I will present a way to adapt the ‘semantic interpretation as a functor’ idea introduced independently but in… 
Review
1977
Review
1977
Review: Daniel Gallin, Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)