×

Théorème de Church-Rosser et structuration des langues naturelles. (Church-Rosser theorem and structuration of natural languages). (French) Zbl 0663.03006

The author considers structural properties of natural languages using combinatory logic. In particular, his emphasis is on the role of the Church-Rosser theorem.

MSC:

03B40 Combinatory logic and lambda calculus
03B65 Logic of natural languages

Citations:

Zbl 0663.03007
PDFBibTeX XMLCite
Full Text: Numdam EuDML