A Formal Representation of the Thematic-Rhematic Structure of Sentences Based on a Typed λ-Calculus

Yoichi Uetake