What does in positive position and in negative position mean in the context of type theory?The only thing I understood from Bob Harper's blog post on the topic is that there is a connection between polarity in this sense in type theory and polarity in logic, but I don't know what that connection is.
Meaning of positive position and negative position in type theory?
type theory