Dynamic Curry-Howard R: Unified Embedding, Strictness Determination, and Categorical Defects of the Definition Spectrum of Constraint Networks

zhou, changzheng, zhou, ziqing

DOI: 10.5281/zenodo.23749808

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