RCast 34: Deep Dive Into TLA

RChain developer Pawel Szulc leads a discussion on TLA (Temporal Logic of Actions) with Greg Meredith and Isaac DeFrain.

RCast 33: Brain Candy: LADL

This RCast begins with a discussion of TLA (Temporal Logic of Actions), but most of the conversation focuses on LADL (Logic As a Distributive Law) between Greg Meredith, Isaac DeFrain, and Christian Williams.

RCast 32: TOGL (Theory of Graphs Language)

Greg Meredith discusses his notion of TOGL (Theory of Graph Languages) with Isaac DeFrain and Christian Williams.

Top posts

RCAST 34: DEEP DIVE INTO TLA

Pawel Szulc dives into TLA+.

RCAST 33: BRAIN CANDY: LADL

Brain Candy on LADL.

RCAST 32: TOGL (THEORY OF GRAPHS LANGUAGE)

Greg Meredith discusses his notion of TOGL.

Page 2 of 28