Jay Sulzberger on Lambda Equivalence from mathematics physics pdf Watch Video
Preview(s): Play Video: (Note: The default playback of the video is HD VERSION. If your browser is buffering the video slowly, please play the REGULAR MP4 VERSION or Open The Video below for better experience. Thank you!)
Your browser does not support playing the video.Please download the video!
⏲ Duration: 68 min 69 sec ✓ Published: 14-Apr-2017
Description: When it comes to reasoning about programs, you may have heard of alpha and beta equivalence and possibly even eta equivalence, but you probably never heard of lambda equivalence and you won't find it with Google Search. nnnTo learn about this exciting new technique please join us as the illustrious Jay Sulzberger presents Lambda Equivalence for the very first time!nnMeta Abstractnn