Alex P. Jones

According to our database, Alex P. Jones authored at least 1 paper in 1996.

Collaborative distances:

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

1996

Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping.

Alex P. Jones, Zhaohui Luo, Sergei Soloviev

Proceedings of the Types for Proofs and Programs, 1996