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
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