lSpace Graphic lambda calculus and knot diagrams (history)

November 8, 2012