Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus: Types for Proofs and Programs: International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers
____________________________
Author: Thorsten Altenkirch,Wolfgang Naraschewski,Bernhard Reus
Number of Pages: 212 pages
Published Date: 01 Nov 1999
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publication Country: Berlin, Germany
Language: English
ISBN: 9783540665373
Download Link: Click Here
____________________________