Intuitionistic Logics and Programing Languages (In Chinese)

Slides

Date
Mar 28, 2023 3:00 PM — 6:00 PM
Event
Logic Seminar, Peking University
Di Wang
Di Wang
Assistant Professor

My heart is in the Principles of Programming.