Data Types with Negation bentnib.org 8 points by isaac21259 3 years ago · 1 comment Reader PiP Save aatd86 3 years ago Semantic subtyping uses negation.It's an analogous to if else.