Today and polarity

[Jan Malakhovski]

Hi,

I'm really busy with CTD-related shi^H^Htuff lately, yet I'm still obsessed with SN proof and I did another bit just right about now.
All this probably means that I wish to pass prepared talk this time.

If anyone is willing this might be the precious rare oportunity to talk about something you're interested in, and not about stuff I'm willing to broadcast. If not, we might as well skip this time entirely.

The stuff I'm interested in right now is exstensively linked at @oxij (twitter), e.g. recent links that have something to do with polarity (we discussed that it would be nice to discuss it the last time):
http://www.eecs.harvard.edu/~greg/cs256sp2005/
http://www.cs.cmu.edu/~noam/thesis.pdf
See also Thomphson's book.
Other links and pointers are appreciated.

BR,
Jan

[Jan Malakhovski]

CTD-related stuff still not completed :( yet I dug up two useful links concerning datatypes and polarity:
http://www.springerlink.com/content/xg2v1297n33661k6/ (paywalled :()
http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.74

[Jan Malakhovski]

No status changes, but there're rumors that this "festival" ends around today.

Also, I've heard that there is some ACM-related activity today.
Is there something planned for the next Friday?

On Fri, 19 Oct 2012 05:45:59 +0400

[Andrew Shulayev]

There is some activity planned for next Friday according to calendar, but it is in first half of day.
By the way, calendar is here: https://sites.google.com/site/acmneerc/calendar_full

Andrew

2012/10/26 Jan Malakhovski <jan.mal...@gmail.com>

--
You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.
To post to this group, send email to type-theory-f...@googlegroups.com.
To unsubscribe from this group, send email to type-theory-for-veg...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/type-theory-for-vegetables?hl=en.

[Kirill Elagin]

Well, yeah, since we are typed vegetables who have meetings late in evenings, activity which is expected to end by 21:00 (according to calendar, so it might be even later) is clearly "in the first half of the day" ;).

26.10.2012 12:07 пользователь "Andrew Shulayev" <shul...@rain.ifmo.ru> написал:

[Jan Malakhovski]

Just to be sure. No meeting today, ACM-related.
But next Friday something's finally going to happen.
What do you want to talk about? System F? Martin-Löf's system? Inductive datatypes and polarity?

Another very useful link:
http://www.cs.nott.ac.uk/~txa/publ/types99.pdf