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  10135 reads

Browse archivesActive forum topics 
Recent comments
4 days 18 hours ago
5 days 13 hours ago
5 days 17 hours ago
5 days 18 hours ago
5 days 19 hours ago
5 days 19 hours ago
5 days 20 hours ago
5 days 20 hours ago
6 days 55 min ago
6 days 1 hour ago