Constructing a universe for the setoid model.

Thorsten AltenkirchSimon BoulierAmbrus KaposiChristian SattlerFilippo Sestini
Published in: FoSSaCS (2021)
Keyphrases