Open impredicative opened 5 years ago
If you wouldn't mind, please add a link to the corresponding preprint https://arxiv.org/abs/1907.02088 in the readme of this repo. Thanks.
If you wouldn't mind, please add a link to the corresponding preprint https://arxiv.org/abs/1907.02088 in the readme of this repo. Thanks.