| From: Shriram Krishnamurthi (sk at cs.brown.edu) Date: Mon Jun 15 13:27:35 EDT 2009 |
|
Yes, that's the paper. Your reading of the setup is (not surprisingly!) right. And yes, it is a translation of Russell's paradox into the type system. Shriram
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}