Two type-theoretical approaches to privative modification

More Info
expand_more