And if you're fine with something much longer than others have suggested, Types And Programming Languages [0] covers the notation, in addition to most of the ot

And if you're fine with something much longer than others have suggested, Types And Programming Languages [0] covers the notation, in addition to most of the other knowledge most PL papers take for granted. [0]: https://www.cis.upenn.edu/~bcpierce/tapl/ https://www.cis.upenn.edu/~bcpierce/tapl/