Beginning with a set of interactive rewrite rules, Greg Meredith discusses his work with Mike Stay to derive a proof theory that exhibits a Curry-Howard style correspondence.

48: Reflective Proof Theory

RChain is a complete, concurrent blockchain platform designed for maximum efficiency at minimal computational and environmental costs by utilizing proof of stake. Beyond our platform, our investment partners fund organizations that are working within our core mission statement to create a better world by enabling social coordination in robust, secure, and scalable ways. Each week you'll hear from the founders of RChain's portfolio companies, co-op members, staff, and other figures in the RChain ecosystem, about the most pressing issues in blockchain today.

Share 48: Reflective Proof Theory

Sign up to save your podcasts

48: Reflective Proof Theory

48: Reflective Proof Theory