English Hyperproperty Cited by user Siddharthist on 25 Feb 2023 In computer science, hyperproperties are a formalism for describing properties of computational systems.
English Timsort Cited by user 68.235.53.187 on 06 May 2017 It uses techniques from Peter McIlroy's 1993 paper "Optimistic Sorting and Information Theoretic Complexity".