Jakob Rehof. Introduction to Subtyping. 1996.
[ Parametricity ]
Jakob Rehof
@Misc{rehof96, Author = {Rehof, Jakob}, Title = {Introduction to Subtyping}, Year = {1996}}
Get EndNote Reference (.ref)