Keywords: Lambek calculus, graph grammar, hyperedge replacement grammar

Subject:

formal grammar, substructural logic, algorithmic complexity

Main publications:

1. Tikhon Pshenitsyn, “Commutative Lambek grammars”, Journal of Logic, Language and Information, 32 (2023), 887-936
2. Tikhon Pshenitsyn, “Hypergraph Lambek grammars”, Journal of Logical and Algebraic Methods in Programming, 129 (2022)

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• ISTINA
• 
• 
• 

Organisations:

• Steklov International Mathematical Center
• Steklov Mathematical Institute of Russian Academy of Sciences, Moscow