RCast 50: RChain Research & Retrospect

RCast 50: RChain Research & Retrospect

Subscribe to RCast on iTunes | Google Play | Stitcher Greg Meredith talks to Isaac DeFrain and Christian Williams about the last year of RChain research. Transcript Greg: I was looking over the drive where I keep the slides and I wanted to go back over the results...
RCast 48: Reflective Proof Theory

RCast 48: Reflective Proof Theory

Subscribe to RCast on iTunes | Google Play | Stitcher 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. Specifically, it enjoys a...