Vol-1524⫷ Vol-1525 ⫸Vol-1526
urn:nbn:de:0074-1525-0


Vol-1525/paper-13⫷Vol-1525/paper-14⫸Vol-1525/paper-15
Niccolò Veltri

Two set-based implementations of quotients in type theory