フォロー
Kazuyuki Asada
Kazuyuki Asada
確認したメール アドレス: riec.tohoku.ac.jp - ホームページ
タイトル
引用先
引用先
Generalised species of rigid resource terms
T Tsukada, K Asada, CHL Ong
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-12, 2017
332017
Verifying relational properties of functional programs by first-order refinement
K Asada, R Sato, N Kobayashi
Proceedings of the 2015 Workshop on Partial Evaluation and Program …, 2015
282015
Species, profunctors and taylor expansion weighted by SMCC: A unified framework for modelling nondeterministic, probabilistic and quantum programs
T Tsukada, K Asada, CHL Ong
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018
272018
Structural recursion for querying ordered graphs
S Hidaka, K Asada, Z Hu, H Kato, K Nakano
Proceedings of the 18th ACM SIGPLAN international conference on Functional …, 2013
202013
Arrows are strong monads
K Asada
Proceedings of the third ACM SIGPLAN workshop on Mathematically Structured …, 2010
142010
Categorifying computations into components via arrows as profunctors
K Asada, I Hasuo
Electronic Notes in Theoretical Computer Science 264 (2), 25-45, 2010
112010
On word and frontier languages of unsafe higher-order grammars
K Asada, N Kobayashi
arXiv preprint arXiv:1604.01595, 2016
102016
A parameterized graph transformation calculus for finite graphs with monadic branches
K Asada, S Hidaka, H Kato, Z Hu, K Nakano
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
82013
Pumping lemma for higher-order languages
K Asada, N Kobayashi
arXiv preprint arXiv:1705.10699, 2017
72017
Almost Every Simply Typed-Term Has a Long-Reduction Sequence
R Sin’Ya, K Asada, N Kobayashi, T Tsukada
International Conference on Foundations of Software Science and Computation …, 2017
72017
The algebra of recursive graph transformation language UnCAL: Complete axiomatisation and iteration categorical semantics
M Hamana, K Matsuda, K Asada
Mathematical Structures in Computer Science 28 (2), 287-337, 2018
62018
A functional reformulation of UnCAL graph-transformations: or, graph transformation as graph reduction
K Matsuda, K Asada
Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and …, 2017
52017
Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱
T Tsukada, K Asada
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer …, 2022
32022
A Compositional Approach to Parity Games
K Watanabe, C Eberhart, K Asada, I Hasuo
arXiv preprint arXiv:2112.14058, 2021
32021
Size-preserving translations from order-(n+ 1) word grammars to order-n tree grammars
K Asada, N Kobayashi
5th International Conference on Formal Structures for Computation and …, 2020
32020
Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence
K Asada, N Kobayashi, R Sin'Ya, T Tsukada
Logical Methods in Computer Science 15, 2019
32019
Parameterized graph transformation languages with monads
K Asada, S Hidaka, H Kato, Z Hu, K Nakano
Technical Report GRACETR-2012-07, GRACE Center, National Institute of …, 2012
32012
Lambda-definable order-3 tree functions are well-quasi-ordered
K Asada, N Kobayashi
38th IARCS Annual Conference on Foundations of Software Technology and …, 2018
22018
Refinement type checking via assertion checking
R Sato, K Asada, N Kobayashi
Journal of information processing 23 (6), 827-834, 2015
22015
Study on Requirements to be Fulfilled With Rules for Repair Replacement Activities in JSME Code on Fitness-for-Service
A Nishikawa, K Dozaki, K Koyama, K Asada
ASME Pressure Vessels and Piping Conference 43642, 615-619, 2009
22009
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20