Login / Signup
Constructing Higher Inductive Types as Groupoid Quotients.
Niccolò Veltri
Niels van der Weide
Published in:
Log. Methods Comput. Sci. (2021)
Keyphrases
</>
genetic algorithm
knowledge base
rough sets
equivalence relation