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

  ISBN 0387580859 (0-387-58085-9)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers'
• 
  Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers
  

  by Tobias Nipkow, Henk Barendregt

  ISBN 3540580859 (3-540-58085-9)
  Hardcover, Springer-Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 Selected Papers'