Modern Type Theories: Their Development and Applications. / Luo, Zhaohui.

Tsinghua University Press, 2022.

Research output: Book/ReportBook

Forthcoming
Original languageEnglish
PublisherTsinghua University Press
Publication statusAccepted/In press - 2022

ID: 45712112