Got physics homework done and hacked and slashed at thesis some more. Totally randomly decided to grab LICS 1998-2000 and skim through them. There was an weird paper on coinduction and calculus.