I'd like to recommend the following awesome expositions by Ben Lynn as well: https://crypto.stanford.edu/~blynn/lambda/ https://crypto.stanford.edu/~blynn/lamb

I'd like to recommend the following awesome expositions by Ben Lynn as well: https://crypto.stanford.edu/~blynn/lambda/ https://crypto.stanford.edu/~blynn/lambda/ https://crypto.stanford.edu/~blynn/compiler/ https://crypto.stanford.edu/~blynn/compiler/