Core Lambda Calculus
Author: Frank Pfenning, Carsten Schuermann
Modified: Various...

