EasyChair Smart Slide
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography