User loginNavigation 
Basic(er) Simple(r) Type Theory(?)My lurking here at LtU has motivated me to learn about type theory, so I picked up a cheap used copy of Hindley's _Basic Simple Type Theory_, and have found myself woefully unprepared for it. A lunchtime sojourn to wikipedia yesterday was my first introduction to S & K combinators, so needless to say, all the formal logic, proofs, etc., are right over my head. Is there a more basic, simpler introduction to type theory that doesn't assume a competant formal background that y'all can recommend, or, failing that, can y'all recommend a list of preparatory works to read first? thanks in advance, JimDesu By jimdesu at 20050601 17:55  LtU Forum  previous forum topic  next forum topic  other blogs  11540 reads

Browse archivesActive forum topics 
Recent comments
7 weeks 3 hours ago
7 weeks 1 day ago
7 weeks 3 days ago
14 weeks 3 days ago
20 weeks 1 day ago
20 weeks 2 days ago
21 weeks 1 day ago
23 weeks 6 days ago
25 weeks 2 days ago
25 weeks 2 days ago