• 关于

    我是生活在上海的一名程序员,这里是我的主页空间,用来记录我的生活历程、学习笔记和点滴思考。  

  • 栏目

  • 日历

    March 2010
    M T W T F S S
    « Feb    
    1234567
    891011121314
    15161718192021
    22232425262728
    293031  

links for 2009-04-13

  • I have been slowly converging on IΞ for its elegance and simplicity. It turns out to be very powerful, capable of modeling many structures while avoiding many of the paradoxes typically involved with those structures. In this post, I give an exposition of IΞ and construct some common structures.
Printed from: http://www.mingli-yuan.info/archives/368 .
© Mingli Yuan 2010.

Leave a Comment