Yo Mitani

According to our database, Yo Mitani authored at least 1 paper in 2020.

Collaborative distances:

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

2020

A Probabilistic Higher-Order Fixpoint Logic.

Yo Mitani, Naoki Kobayashi, Takeshi Tsukada

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020