Basic Simple Type Theory

TypeTheory入门好书Type-theoryisoneofthemostimportanttoolsinthedesignofhigher-levelprogramminglanguages,suchasML.Thisbookintroducesandteachesitstechniquesbyfocussingononeparticularlyneatsystemandstudyingitindetail.Inthisway,allthekeyideasarecoveredwithoutgettinginvolvedinthecomplicat