processing...
home
authors
Tikhon Pshenitsyn
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Tikhon Pshenitsyn
Publications
Grammars Over the Lambek Calculus With Permutation: Recognizing Power and Connection to Branching Vector Addition Systems With States. Tikhon Pshenitsyn. 2022.
Cyclic Shift in the Lambek Calculus. Tikhon Pshenitsyn. 2021.