Example image of eyePlorer eyePlorer map for 'Categorial grammar': Grammatical relation Natural language Principle of compositionality Syntax Simply typed lambda calculus Lambda calculus Adjective Count noun Determiner Verb Context-free grammar Lexical rule Derived category Intension Quantification Kazimierz Ajdukiewicz Yehoshua Bar-Hillel Joachim Lambek Noncommutative logic Type constructor Linear logic Substructural logic Montague grammar Richard Montague Semantics Anna Szabolcsi Combinatory categorial grammar Combinatory logic Haskell Curry Mark Steedman Moses Schönfinkel Gender Number Person Tense Extraction Logical conjunction Encyclopaedia of Mathematics David Dowty Grammar framework Higher order grammar List of linguists Glue Semantics Lwow-Warsaw School of Logic Generative grammar Johan van Benthem (logician) CG Proof theory Lviv University Edmund Husserl
Disclaimer