A Predicative Type-Theoretic Interpretation of Objects (1997)

by Jason J. Hickey
Citations:4 - 0 self