L-Models and R-Models for Lambek Calculus Enriched with Additives and the Multiplicative Unit.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Browse the full WoLLIC paper archive.
Max I. Kanovich, Stepan L. Kuznetsov, Andre Scedrov
Browse the full WoLLIC paper archive.