Type Theory Reading This Semester
Joe Razavi
I hope you had a good break. I'd like to keep up the Reading Group
this semester, and if you'd like to continue to come then I need the
answers to two questions:
(1) On what days could you come at 5pm (or you can contest the time if
you feel strongly) (I can do Monday, Tuesday, Thursday and Friday)
(2) What would you like to read?
On the second point, the easy answer is to continue to read last
semester's text linearly. Alternatively, we could just skip to what
looks interesting (or what I find interesting if you want more
guidance!). More radically, we could pick some other reading (and
essentially on any theory flavoured topic) and follow that.
See you soon,
Joe
Richard Stapenhurst
(2) I would like to read anything that I can understand without too much effort! I don't think I'd understand anything that was much more advanced than what we were doing last semester.
Richard
Francis Southern
to one meeting last semester, because I'm hoping that if I publicly
announce my plans I'll be more likely to follow them through!
I'd like to see more Coq at these meetings! Perhaps
<http://www.cis.upenn.edu/~bcpierce/sf/toc.html> could be an interesting
source of information and exercises for us to discuss. (I haven't
studied the page yet, but I plan to soon, and perhaps sooner if other
people are too. :-))
I also personally have my eye on homotopy type theory
<http://homotopytypetheory.org/> and constructive mathematics, à la
<http://corn.cs.ru.nl/> and <http://math-classes.org/> in the long run,
but even if no one else cares about this stuff, I think a significant
amount of common ground can be found in the more fundamental material.
Also, my only strong opinion about the day would be please not Thursday.
All the best,
Francis
Giles Reger
Just wondering if we agreed on some reading / a meeting day/time?
I think Tuesday was generally proposed as a day.
Giles
On 8 February 2012 17:42, Francis Southern