Re: Math Notations, Computer Languages, and the “Form” in Formalism

2009-09-09 Thread Jon Harrop
fortunatus wrote: > to that end you might be interested in Fortress at Sun: > > http://projectfortress.sun.com/Projects/Community > http://research.sun.com/projects/plrg/fortress.pdf > http://research.sun.com/spotlight/2007/2007-01-10_fortress.html Fortress is dead, right? -- Dr Jon D Harrop, F

Math Notations, Computer Languages, and the “Form ” in Formalism

2009-08-31 Thread Xah Lee
• Math Notations, Computer Languages, and the “Form” in Formalism http://xahlee.org/cmaci/notation/index.html plain text version follows. (lacks links) - Math Notations, Computer Languages, and the “Form” in Formalism Xah Lee, 2009-08-31 This page is a collection