王垠的博客

http://www.yinwang.org/

 

github

https://github.com/yinwang0/pysonar2

 

Curry–Howard correspondence

posted @ 2015-09-15 10:12  forwardslash  阅读(691)  评论(0)    收藏  举报