Editing Higher order grammar (section)

{{refimprove|date=July 2014}}
'''Higher order grammar''' (HOG) is a [[grammar theory]] based on [[higher-order logic]].<ref>[[Carl Pollard|Pollard, Carl]]. "[https://www.researchgate.net/profile/Carl_Pollard/publication/249797500_Higher-Order_Categorical_Grammar/links/02e7e53424af4912df000000.pdf Higher-order categorial grammar]." International Conference on Categorial Grammars, Montpellier, France. 2004.</ref><ref>Hana, Jiri. [https://etd.ohiolink.edu/!etd.send_file?accession=osu1188232919&disposition=inline Czech Clitics in Higher Order Grammar]. Diss. The Ohio State University, 2007.</ref> It can be viewed simultaneously as [[generative grammar|generative]]-enumerative (like [[categorial grammar]] and [[principles and parameters]]) or [[model theory|model theoretic]] (like [[head-driven phrase structure grammar]] or [[lexical functional grammar]]).