Constructing a universe for the setoid model.

Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini

Browse the full FOSSACS paper archive.