RUS  ENG
Full version
JOURNALS // Lecture Notes in Computer Science // Archive

Lecture Notes in Comput. Sci., 2021, Volume 13027, Pages 258–274 (Mi lncs46)

This article is cited in 1 paper

Relational models for the Lambek calculus with intersection and unit

Stepan L. Kuznetsov

Steklov Mathematical Institute of RAS, Moscow, Russia

Language: English

DOI: 10.1007/978-3-030-88701-8_16



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024