Elementary constructive operational set theory (0)

by A Cantini, L Crosilla
Venue:Ways of Proof Theory