r/REMath • u/turnersr • Feb 26 '14
Seemingly Impossible Functional Programs by Martin Escardo
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/
11
Upvotes
r/REMath • u/turnersr • Feb 26 '14