Philip Wadler: Propositions as Types (Lambda Days 2016)

科技演讲·公开课2017-04-27 21:40:12
--播放 · --弹幕
-- --
稿件投诉
https://www.youtube.com/watch?v=aeRVdYN6fE8