1. 12
    1. 2

      Thanks @gasche :-)

      Hi, I’m the author, AMA!

      1. 2

        Self taught dev here. I’ve been really enjoying reading your dissertation but I’m getting stuck at the type theory. What’s out there for getting up-to-speed on how to read CS proofs?

        1. 3
        2. 2

          Hi! @gasche’s recommendation is solid, and I’d also like to recommend the Redex book [1] [2], the first half of which is a course in modern small-step operational semantics. That book, plus the standard type systems text [3], should be heaps to be getting on with :-)

          [1] Felleisen, Matthias, Robert Bruce Findler, and Matthew Flatt. Semantics Engineering with PLT Redex. Cambridge, Massachusetts: MIT Press, 2009. https://mitpress.mit.edu/books/semantics-engineering-plt-redex

          [2] https://redex.racket-lang.org/

          [3] Pierce, Benjamin C. Types and Programming Languages. MIT Press, 2002. https://www.cis.upenn.edu/~bcpierce/tapl/

    2. [Comment removed by author]