OhioLink ETD Center (Ohio Library and Information Network) · 2004 · 31 citations · 26 references
Open access
This paper presents an analysis of certain aspects of Czech sentential clitics in Higher Order Grammar. I focus on the relative order of clitics within the clitic cluster. The overall aim of the paper is to show that constraints governing Czech sentential clitics, though quite complex, can be captured relatively easily within a higher order formalism such as Higher Order Grammar.
26
Semantic Interpretation in Generative Grammar
Robert Freidin, Ray Jackendoff · Language · 1975 · 4.6K citations
A formulation of the simple theory of types
Alonzo Church · Journal of Symbolic Logic · 1940 · 1.9K citations
Automated Reasoning, Type Theory, Mathematical Foundations +6
Completeness in the theory of types
Leon Henkin · Journal of Symbolic Logic · 1950 · 835 citations
Aravind K. Joshi, Leon S. Levy, Masako Takahashi · Journal of Computer and System Sciences · 1975 · 772 citations