Non-Standard Computation Group
Tangential talks
An irregular series of informal talks on Non-Standard Computation issues