Henk Barendregt,Tobias Nipkow: Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
____________________________
Author: Henk Barendregt,Tobias Nipkow
Number of Pages: 395 pages
Published Date: 01 Jun 1995
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540580850
Download Link: Click Here
____________________________