English Quotient type Cited by user Caleb Stanford on 13 Sep 2023 In the field of type theory in computer science, a quotient type is a data type which respects a user-defined equality relation.
English Institution (computer science) Cited by user Laiwoonsiu on 29 Jan 2021 The notion of institution was created by Joseph Goguen and Rod Burstall in the late 1970s, in order to deal with the "population explosion among the logical systems used…