Andrew Pond

According to our database, Andrew Pond authored at least 1 paper in 2016.

Collaborative distances:

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

2016

Proof Relevant Corecursive Resolution.

Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, Andrew Pond

Proceedings of the Functional and Logic Programming - 13th International Symposium, 2016