Review of "Type logical grammar: categorial logic of signs" by Glyn V. Morrill. Kluwer Academic Publishers 1994.

Authors:
Fernando Pereira
Affiliations:
AT&T Labs Research
Venue:
Computational Linguistics
Year:
1997

Citing 3
Cited 1

Introduction to combinators and &lgr;-calculus

Introduction to combinators and &lgr;-calculus
Linear logic

Theoretical Computer Science
Proofs and types

Proofs and types

Logical grammars, logical theories

LACL'12 Proceedings of the 7th international conference on Logical Aspects of Computational Linguistics

Quantified Score

Hi-index	0.00

Visualization

Abstract