A Lawvere Flavored Equational Proof Kernel for Forest Terms 0 ▲ Hey There Buddo! 1 hour ago · Science · hide I claim it is interesting to work with a forest of terms as a primary object of consideration rather than a single tree term. Commenting on Bubbles has been removed. Why? If you want to talk about this post, write to the author, use the comments on their blog if it has them, or reply with a "RE:" post on your own blog. Suggestions? feedback@bubbles.town
