[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Hello,
At 17:20 -0500 16/1/10, Michael Hicks wrote:
>>It happened to me to review a short and very well written paper
>>(for a journal) whose claims looked to me absolutely impossible,
>>
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Alessio Guglielmi wrote:
> However, its results would clash dramatically with my expectations,
> and indeed those of my community. This is one of those cases where
> one says `it cannot be t
