A survey of Dialectica-style functional interpretations.