Core Lambda Calculus
Author: Frank Pfenning, Carsten Schuermann