Complex sentence: The simply typed lambda calculus (\\ lambda ^\\ to) is a typed lambda calculus whose only connective is\\ to (function type), thus it is the canonical, and in many ways simplest example of a typed lambda calculus.
Split into simpler sentences: The simply typed lambda calculus (\\ lambda ^\\ to) is a typed lambda calculus whose only connective is\\ to (function type). This makes it the canonical, and in many ways simplest, example of a typed lambda calculus.