Reading for Next Tuesday
3 views
Skip to first unread message
Joe Razavi
Apr 26, 2012, 5:16:02 AM4/26/12
to Manchester Type Theory Reading Group
Hi everyone,
Next week we'll be moving on to Chapters 9 and 10. That might sound
like a lot, but Chapter 9 just reviews first order logic, which I
believe will be familiar to everybody. In Chapter 10, the significance
of the curry Howard Correspondence for the design of type systems for
programming languages becomes clear, in that it serves as an example
of extra structure in the logic corresponding to more precise
correctness guarantees in the type system.
I might send some questions for you to think about as you read before
then -- but don't bet too much on it!
Joe
Next week we'll be moving on to Chapters 9 and 10. That might sound
like a lot, but Chapter 9 just reviews first order logic, which I
believe will be familiar to everybody. In Chapter 10, the significance
of the curry Howard Correspondence for the design of type systems for
programming languages becomes clear, in that it serves as an example
of extra structure in the logic corresponding to more precise
correctness guarantees in the type system.
I might send some questions for you to think about as you read before
then -- but don't bet too much on it!
Joe
Reply all
Reply to author
Forward
0 new messages