Proving Simpson's Four-Slot Algorithm Using Ownership Transfer.

Shuling Wang, Xu Wang

Browse the full CADE paper archive.