论文信息 - On a connection between algebra, logic and linguistics - 字舞流文

On a connection between algebra, logic and linguistics

J. Lambek | J. Lambek

[1] Joachim Lambek,et al. On the Calculus of Syntactic Types , 1961 .

[2] G. Mints,et al. Closed categories and the theory of proofs , 1981 .

[3] J. Lambek. The Mathematics of Sentence Structure , 1958 .

[4] Johan van Benthem,et al. The Lambek Calculus , 1988 .

[5] L. Durst. The grammar of mathematics , 1969 .