Manuscript I-B@1 · I-B-v1.tex · section · 5357688f
Three interfaces, not one
Finite names, access, control, and destructive Enter › Three interfaces, not one · lines 534–540
The equality after discarding does not identify the larger nondestructive interface with destructive Enter CheungI,CheungEn03.