Conor McBride

Andy Pitts says 'Type Soundness proofs are two a penny.' But I Think They're Cheaper Than That

Conor McBride

CS103 2526 39. Contradiction Reloaded

Conor McBride

CS103 2526 38. Limits of Computation

Conor McBride

CS103 2526 37. The Continuing Adventures of Brian and Beryl

Conor McBride

CS103 2526 36. Context-Free Grammars

Conor McBride

CS103 2526 35. RegEx to NFA to DFA

Conor McBride

CS103 2526 34. Finite State Automata

Conor McBride

CS103 2526 28. Regular Expressions

Conor McBride

CS103 2526 33. Brzozowski Completed

Conor McBride

CS103 2526 32. Brzozowski Revisited

Conor McBride

CS103 2526 31. Brzozowski for Then

Conor McBride

CS103 2526 30. Does it Start with Me

Conor McBride

CS103 2526 29. Who Likes Nil

Conor McBride

CS103 2526 27. Get a Preorder from a Monoid

Conor McBride

CS103 2526 26. Preorders

Conor McBride

CS103 2526 25. Make Your Own Props

Conor McBride

CS103 2526 24. Truth and Refutation

Conor McBride

CS103 2526 23. Proof by Contradiction

Conor McBride

CS103 2526 22. And Or Not

Conor McBride

CS103 2526 21. Implication Rules OK

Conor McBride

CS103 2526 20. Sudoku as Deduction Practice

Conor McBride

CS103 2526 19. The Doubtful Guest

Conor McBride

CS103 2526 18. What is This Lecture About

Conor McBride

CS106 2526 17. Let's Talk About Types

Conor McBride

CS103 2526 16. The Formula for the Engine

Conor McBride

CS106 2526 15. Choose a Good Route

Conor McBride

CS103 2526 14. Review and Revisit

Conor McBride

CS103 2526 13. Choose a Degree

Conor McBride

CS103 2526 12. Pascal's Triangle

Conor McBride

CS103 2526 11. Functions Are Data

Conor McBride