||[Sep. 10th, 2003|11:11 am]
il conto, thanks to the airport-bookstore crappy little italian phrasebook.Got way too much pizza for lunch, but it was tasty. My italian vocab has expanded to include |
Talked to carsten about various technicalish things after the talks. Turns out Jeff Sarnat's working with him doing logical relations proofs for Sigma types. I may have to bug him about seeing that stuff; it sounds pretty cool, despite my being fairly successfully wooed over to the side of Kevin Watkins' nuthin'-but-canonical-forms syntax.