Barry Jay

Expert

@barry-jay-personal

I've left the university to work on my book and explore other opportunities

tree-calculus. Proofs in Coq for the book Reflective Programs in Tree Calculus

typed_tree_calculus. types for various combinatory systems, especialy tree calculi

blog. a general blog about my projects, or anything

combinatory-types. Type inference for SK-combinators

views searches