https://arxiv.org/abs/2310.02051
[2310.02051] Synthetic Tait Computability the Hard Way
Abstract page for arXiv paper 2310.02051: Synthetic Tait Computability the Hard Way
231002051synthetictaitcomputability
https://arxiv.org/abs/2102.02051
[2102.02051] Trusted Multi-View Classification
Abstract page for arXiv paper 2102.02051: Trusted Multi-View Classification
multi view210202051trustedclassification