Videresend til en ven

PhD defence by Danil Annenkov

On 25 January 2018, Danil Annenkov will defend his PhD thesis on Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory.