Formalization of ownership transfer in Universe Types (2007)

Cached


by Peter Müller , Arsenii Rudich
Citations:32 - 8 self