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 2018-12-25 21:44 | LtU Forum | previous forum topic | next forum topic | other blogs | 3755 reads
|
Browse archives
Active forum topics |
Recent comments
5 days 10 hours ago
41 weeks 4 hours ago
41 weeks 8 hours ago
41 weeks 8 hours ago
1 year 11 weeks ago
1 year 15 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 19 weeks ago
1 year 24 weeks ago