Discussion
Tree Calculus
eitally: Much better intro article about tree calculus here, vs the actual site: https://olydis.medium.com/a-visual-introduction-to-tree-calc...
macintux: [delayed]
macintux: Extensive discussion (202 comments) about 15 months ago: https://news.ycombinator.com/item?id=42373437
srean: I remember him from Fish and multidimensional arrays.https://link.springer.com/article/10.1007/s100090050037
timcobb: I'm not used to math things being promoted like this (not to suggest that's a bad thing at all!). Can someone offer some context please.
seanhunter: This isn't a math thing[1], it's a theoretical computing model (ie instead of a Turing machine or lambda calculus, you can use this instead) that you might study as part of studying computation theory or other bits of theoretical computer science.[1] or not pure maths anyway. It's applied maths like all computer science.