Alex P. Jones

Publication Activity (10 Years)

Years Active: 1996-1996
Publications (10 Years): 0

Publications

Alex P. Jones, Zhaohui Luo, Sergei Soloviev
Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping. TYPES (1996)