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

Browse archivesActive forum topics 
Recent comments
13 hours 48 min ago
14 hours 15 min ago
15 hours 9 min ago
18 hours 50 min ago
1 day 17 hours ago
1 day 17 hours ago
5 days 6 hours ago
5 days 20 hours ago
5 days 22 hours ago
1 week 21 hours ago