Sadaaki Kawata

According to our database, Sadaaki Kawata authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Decision Algorithms for Checking Definability of Order-2 Finitary PCF.

Sadaaki Kawata, Kazuyuki Asada, Naoki Kobayashi

Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015