Nakamura, Y.,
Asada, K.,
Kobayashi, N.,
Sin'Ya, R. &
Tsukada, T.,
2020 6月 1,
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020. Ariola, Z. M. (ed.).
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 21. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 167).
研究成果: Conference contribution