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

Browse archivesActive forum topics 
Recent comments
21 hours 23 min ago
1 day 21 hours ago
1 day 23 hours ago
1 day 23 hours ago
3 days 5 hours ago
3 days 5 hours ago
4 days 24 min ago
4 days 1 hour ago
4 days 2 hours ago
4 days 17 hours ago