Henk Barendregt (Barendregt, Henk)

• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  by Henk Barendregt, Tobias Nipkow
  Softcover, Springer Verlag, ISBN 0387580859 (0-387-58085-9)
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  by Tobias Nipkow, Henk Barendregt
  Hardcover, Springer-Verlag, ISBN 3540580859 (3-540-58085-9)