Re: [Epigram] Epigram and Type:Type

2004-10-27 Thread Adam Megacz
Thorsten Altenkirch <[EMAIL PROTECTED]> writes: > What is Gilmore's ITT (is this Stephen Gilmore, is he doing Types > these days)? http://www.cs.ubc.ca/spider/gilmore/ http://www.megacz.com/research/papers/logicism.renewed.notes.pdf > To address the problems, we have in the past (e.g. for L

Re: [Epigram] Epigram and Type:Type

2004-10-27 Thread Thorsten Altenkirch
Adam Megacz wrote: Thorsten Altenkirch <[EMAIL PROTECTED]> writes: What is Gilmore's ITT (is this Stephen Gilmore, is he doing Types these days)? http://www.cs.ubc.ca/spider/gilmore/ http://www.megacz.com/research/papers/logicism.renewed.notes.pdf To address the problems, we have in the past