Chen, P. (2026). NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic.
Chicago Style (17th ed.) CitationChen, Peng. NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic. 2026.
MLA (9th ed.) CitationChen, Peng. NM-DEKL$^3_\infty$: A Three-Layer Non-Monotone Evolving Dependent Type Logic. 2026.
Warning: These citations may not always be 100% accurate.