On Lambek's Restriction in the Presence of Exponential Modalities

Kanovich, Max ; Kuznetsov, Stepan ; Scedrov, Andre Artemov, Sergei ; Nerode, Anil

Logical Foundations of Computer Science, 2015, Vol.9537, p.146-158 [Periódico revisado por pares]

Switzerland: Springer International Publishing AG

Texto completo disponível