Mirai Ikebuchi

According to our database, Mirai Ikebuchi authored at least 8 papers between 2018 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Cyclic proofs and size-change termination.

Mirai Ikebuchi

Theor. Comput. Sci., 2025

Homological Invariants of Higher-Order Equational Theories.

Mirai Ikebuchi

Proceedings of the 40th Annual ACM/IEEE Symposium on Logic in Computer Science, 2025

2022

Applications of Homological Algebra to Equational Theories.

Mirai Ikebuchi

PhD thesis, 2022

Certifying derivation of state machines from coroutines.

Mirai Ikebuchi, Andres Erbsen, Adam Chlipala

Proc. ACM Program. Lang., 2022

2021

A Homological Condition on Equational Unifiability.

Mirai Ikebuchi

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

On properties of B-terms.

Mirai Ikebuchi, Keisuke Nakano

Log. Methods Comput. Sci., 2020

2019

A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods.

Mirai Ikebuchi

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

2018

On Repetitive Right Application of B-Terms.

Mirai Ikebuchi, Keisuke Nakano

Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018