Types for proofs and programs：international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers

Group Author: Barendregt H. P.; (Hendrik Pieter); Nipkow Tobias, 1958-
Published: Springer-Verlag,
Publication Dates: c1994.
Call Number: O141.2-532/T992/1993/