Some interesting talks

I pick three talks that I liked and talk about them.

Conor McBride et al: Seeing and Doing
Ana Bove et al: Modelling General Recursion in Type Theory
Yves Bertot et al: Type-theoretic functional semantics (also presented at TPHOLs 2002)