Formalization of ownership transfer in Universe Types (2007)

Cached


by Peter Müller , Arsenii Rudich
Citations:30 - 9 self