论文信息 - Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines - 字舞流文

Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines

A. Schmitt | Dariusz Biernacki | Malgorzata Biernacka | D. Pous | Sergueï Lenglet | Piotr Polesiuk