I found the paper linked inside the article very interesting. It explores (one possible) meaning of negative and rational types. I'm still going through it: ht

I found the paper linked inside the article very interesting. It explores (one possible) meaning of negative and rational types. I'm still going through it: https://www.cs.indiana.edu/~sabry/papers/rational.pdf https://www.cs.indiana.edu/~sabry/papers/rational.pdf