Inproceedings,

On Associative Lambek Calculus Extended with Basic Proper Axioms.

.
Categories and Types in Logic, Language, and Physics, volume 8222 of Lecture Notes in Computer Science, page 172-187. Springer, (2014)

Meta data

Tags

Users

  • @dblp

Comments and Reviews