Article,

Lambek Calculus and its relational semantics: Completeness and incompleteness.

, and .
J. Log. Lang. Inf., 3 (1): 1-37 (1994)

Meta data

Tags

Users

  • @dblp

Comments and Reviews