Report copyright - SOME HISTORY OF FUNCTIONAL PROGRAMMING LANGUAGES · 2nd Church-Rosser theorem: to find normal form we must in general substitute actual parameters into function bodies unreduced (lazy
Please pass captcha verification before submit form