1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.LO2022★ 1 cited
Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings
Takeshi Tsukada, Kazuyuki Asada
A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include…
cs.FL2017
Pumping Lemma for Higher-order Languages
Kazuyuki Asada, Naoki Kobayashi
We study a pumping lemma for the word/tree languages generated by higher-order grammars. Pumping lemmas are known up to order-2 word languages (i.e., for regular/context-free/index…
cs.FL2016
On Word and Frontier Languages of Unsafe Higher-Order Grammars
Kazuyuki Asada, Naoki Kobayashi
Higher-order grammars are extensions of regular and context-free grammars, where non-terminals may take parameters. They have been extensively studied in 1980's, and restudied rece…