Hi folks, I've finally decided to join the blogosphere, after a fair amount of soul-searching. https://wiki.ccs.neu.edu/display/~riccardo/Close+Encounters+of+the +Logical+Kind At least some of what I'll technically cover should be of interest to PRL, namely type systems and semantics. Cheers, R