A Logic of Subtyping (1996)

Download From

IEEE
Download from IEEE

Download Links

by Giuseppe Longo , Kathleen Milsted , Sergei Soloviev
Citations:14 - 4 self