Risa Yamada

According to our database, Risa Yamada authored at least 2 papers in 2025.

Collaborative distances:

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

2025

On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic.

Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Dataset, January, 2025

On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic.

Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Proceedings of the Programming Languages and Systems, 2025