@INBOOK{henk60,
  AUTHOR =       {Marko van Eekelen and Maarten de Mol},
  editor =       {Erik Barendsen and Venanzio Capretta and Herman Geuvers and Milad Niqui},
  TITLE =        {Reflections on Type Theory, \lambda-calculus, and the Mind. Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday},
  CHAPTER =      {Proving Lazy Folklore with Mixed Lazy/Strict Semantics},
  pages =        {87-101},
  PUBLISHER =    {Radboud University Nijmegen},
  YEAR =         {2007}
  }