Modern Type Theories: Their Development and Applications

Zhaohui Luo

Research output: Book/Report › Book

Original languageUndefined/Unknown
PublisherTsinghua University Press
Publication statusPublished - 2024

Cite this