DMCA

Subtyping object and recursive types logically (2005)

by Steffen Van Bakel Ugo De’liguoro
Venue:In Proc. of ICTCS’05
Citations:6 - 1 self