ThisisasetoflecturenotesthatdevelopedoutofcoursesonthelambdacalculusthatItaughtattheUniversityofOttawain2001andatDalhousieUniversityin2007.Topicscoveredinthesenotesincludetheuntypedlambdacalculus,theChurch-Rossertheorem,combinatoryalgebras,thesimply-typedlambdacalculus,theCurry-Howardisomorphism,weakandstrongnormalization,typeinference,denotationalsemantics,completepartialorders,andthelanguagePCF.
2024/2/8 21:24:41
462KB
lambda
1