An Agda Formalization of Nonassociative Lambek Calculus and its Metatheory.

Niccol Veltri, Cheng-Syuan Wan

Browse the full TABLEAUX paper archive.