Philip Wadler: Propositions as Types (Lambda Days 2016)

科技演讲·公开课
--播放 · --弹幕
-- --
https://www.youtube.com/watch?v=aeRVdYN6fE8