<ul><li><a target="_blank" href="https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem">Kleene fixed-point theorem</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Kleene_star">Kleene star</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem">Kleene's recursion theorem</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Kleene%27s_T_predicate">Kleene's T predicate</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Order_(mathematics)">Order</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Join_and_meet">Join and meet</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Order_theory">Order theory</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Lattice_(order)">Lattice (order)</a></li><li><a target="_blank" href="https://en.wikipedia.org/wiki/Galois_connection">Galois connection</a></li><li><a target="_blank" href="http://matt.might.net/">Matt Might</a></li><li><a target="_blank" href="http://matt.might.net/articles/partial-orders/">Order theory for computer scientists</a></li><li><a target="_blank" href="https://youtu.be/UDp6eDCi1Vo">Livable Code</a> - Sarah Mei</li></ul>

Kleene fixed-point theoremKleene starKleene's recursion theoremKleene's T predicateOrderJoin and meetOrder theoryLattice (order)Galois connectionMatt MightOrder theory for computer scientistsLivable Code - Sarah Mei

<ul><li><a href="https://en.wikipedia.org/wiki/Kleene_fixed-point_theorem" rel="noopener noreferrer">Kleene fixed-point theorem</a></li><li><a href="https://en.wikipedia.org/wiki/Kleene_star" rel="noopener noreferrer">Kleene star</a></li><li><a href="https://en.wikipedia.org/wiki/Kleene%27s_recursion_theorem" rel="noopener noreferrer">Kleene's recursion theorem</a></li><li><a href="https://en.wikipedia.org/wiki/Kleene%27s_T_predicate" rel="noopener noreferrer">Kleene's T predicate</a></li><li><a href="https://en.wikipedia.org/wiki/Order_(mathematics)" rel="noopener noreferrer">Order</a></li><li><a href="https://en.wikipedia.org/wiki/Join_and_meet" rel="noopener noreferrer">Join and meet</a></li><li><a href="https://en.wikipedia.org/wiki/Order_theory" rel="noopener noreferrer">Order theory</a></li><li><a href="https://en.wikipedia.org/wiki/Lattice_(order)" rel="noopener noreferrer">Lattice (order)</a></li><li><a href="https://en.wikipedia.org/wiki/Galois_connection" rel="noopener noreferrer">Galois connection</a></li><li><a href="http://matt.might.net/" rel="noopener noreferrer">Matt Might</a></li><li><a href="http://matt.might.net/articles/partial-orders/" rel="noopener noreferrer">Order theory for computer scientists</a></li><li><a href="https://youtu.be/UDp6eDCi1Vo" rel="noopener noreferrer">Livable Code</a> - Sarah Mei</li></ul>

Was That a Wild Dog?

Follow along with Brian Lonsdorf and Hardy Jones as they explore the internet, life, and programming.

Share Was That a Wild Dog?

Sign up to save your podcasts

Was That a Wild Dog?

Was That a Wild Dog?