Report - 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