barry-jay-personal/typed_tree_calculus
View on GitHub ↗ ★ 30 Rocq Prover
types for various combinatory systems, especialy tree calculi
6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2024-12-10 · latest 2026-10-17
20082026
-
…² https://github.com/barry-jay-personal/tree-calculus/blob/mas... (PDF) ³ https://github.com/barry-jay-personal/typed_tree_calculus/bl... (PDF) ⁴ https://github.com/lambada-llc/tree-calculus
comment by lioeters · 2026-10-17 · in How to Formalize All of Mathematics -
…paper did a great job explaining the ideas to a regular programmer / wannabe academic like myself: https://github.com/barry-jay-personal/typed_tree_calculus/bl... Excellent link! Random thought: From the paper: "The operator [Triangle]…
comment by peter_d_sherman · 2026-09-14 · in Tree Calculus -
…paper did a great job explaining the ideas to a regular programmer / wannabe academic like myself: https://github.com/barry-jay-personal/typed_tree_calculus/bl...
comment by steego · 2026-09-13 · in Tree Calculus -
▲ 1
Typed Programming Analysis without Encodings (2024) [pdf]story by sargstuff · 2025-04-07 · 0 comments
-
I'm not Barry Jay, but I found it here: https://github.com/barry-jay-personal/typed_tree_calculus/bl...
comment by FranchuFranchu · 2024-12-17 · in Tree Calculus -
…page links to his book. And a preview of his PEPM 2025 paper (hi chewxy!) can now be found here: https://github.com/barry-jay-personal/typed_tree_calculus/bl... Compared to how long Barry has been professionally researching this, I entered…
comment by olydis · 2024-12-10 · in Tree Calculus