[TYPES] HOAS versus meta reasoning

[Andrei Popescu]

I very much appreciate the comments and references that were posted  
on this thread. Thank you for establishing my reading schedule for the next month or so. :)

Regards, 
   Andrei