Traite, entre autres, du calcul de Lambek, de la logique combinatoire, des formes normales et théorème de Church-Rosser, de la typologie des langues et invariants grammaticaux, des archétypes cognitifs, de la transivité et intentionalité.