Log in

No account? Create an account
Notes from a Medium-Sized Island [entries|archive|friends|userinfo]

[ website | My Website ]
[ userinfo | livejournal userinfo ]
[ archive | journal archive ]

[Sep. 10th, 2003|11:11 am]
Got way too much pizza for lunch, but it was tasty. My italian vocab has expanded to include il conto, thanks to the airport-bookstore crappy little italian phrasebook.

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.