2 ms·A Quick Look at Impredicativity – Simon Peyton Jones, Chalmers FP Seminar Series1 points by matt_d 6y ago