User loginNavigation 
Looking for papers on covariance and contravarianceHello, I am looking for papers and a particular paper I used to have on covariance and contravariance. The paper I used to have many years ago probably about 2006 or 2007 when I originally started looking into type theory and did not realize its relevance had many inference rules for covariance and contravariance using plus and minus symbols within the inference rules. I am now researching this area and am interested in any papers on this topic. Many thanks in advance, Aaron Gray By AaronNGray at 20181225 21:44  LtU Forum  previous forum topic  next forum topic  other blogs  1665 reads

Browse archives
Active forum topicsNew forum topics 
Recent comments
1 week 2 days ago
1 week 5 days ago
2 weeks 5 days ago
3 weeks 2 days ago
3 weeks 2 days ago
3 weeks 2 days ago
4 weeks 6 days ago
4 weeks 6 days ago
6 weeks 5 days ago
10 weeks 5 hours ago