Links for programming-languages-and-logics-lecture-notes-cornell-cs4110