Irish School of Constructive Mathematics

Hello CAT community, I discovered this topos and intuitionistic logic site and I wanted to call to other people's attention for feedback: http://www.cs.tcd.ie/Micheal.MacanAirchinnigh/Web%20Pages/IRISH_VDM/Master.h... In particluar, I have been reading: http://www.cs.tcd.ie/Micheal.MacanAirchinnigh/Web%20Pages/IRISH_VDM/WRITINGS... and http://www.cs.tcd.ie/Micheal.MacanAirchinnigh/Web%20Pages/IRISH_VDM/WRITINGS... I would like feedback because I have a more immature view of topos and intuitionistic logic. Regards, Bill Halchin