Dynamic Curry-Howard S: A Compatibility Criterion for A Posteriori Universe Lifting—Positive-Weight Cycle Testing, Paradox Correspondence, and Implementation

zhou, changzheng, zhou, ziqing

DOI: 10.5281/zenodo.23752203

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.