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

Browse archivesActive forum topics 
Recent comments
1 day 9 hours ago
1 day 10 hours ago
1 day 16 hours ago
1 day 18 hours ago
2 days 2 hours ago
2 days 2 hours ago
2 days 3 hours ago
2 days 4 hours ago
2 days 7 hours ago
2 days 9 hours ago