はてなブックマーク

Tree Calculus was discovered by Barry Jay. Check out his blog! This website and demos are maintained by Johannes Bader. See here for more background, resources and contact info. Tree Calculus captures the essence of computation Intensional Tree Calculus can perform program analysis without quotation: The ability to reflect on programs is built right into the reduction rules. This means that anythi