March 12th, 2016

beartato phd

(no subject)

Went down to Sunset Park to see Brooklyn's chinatown; K stocked up on various things at the big asian grocery store there. Chipped away at trying to understand some more things about the nonplanar case of the map/lambda-term correspondence.