does anyone know of a cheatsheet for type system notation in academic papers?
@lrlna The best way I know to learn it (which is not ideal, but it's how I did it) is to take a seminar course where you read a bunch of papers and then be lost for half a semester until one day everything just clicks. It doesn't help though that every paper makes up their own subtly different notation.
@lrlna One thing I remember taking me a long time to learn was that the horizontal bar in inference rules is sort of an if-then. It means either "if the things on top of the line are true then you can conclude the thing on the bottom" or "in order to show the thing on the bottom you need to show all the things on top of the line."
@lrlna Square brackets are usually some kind of substitution. Like e[v/x] means "take e but replace all the xs with v." I always forget the order, but I think of it kind of like division, like you divide by x to get rid of the xs and multiply by v to put the vs in where the xs were. Semanticists would probably cringe to hear me say that though.
@theincredibleholk being able to take a seminar course sounds super dreamy right now! But I hear you - you kind of end up learning with practice