Types for proofs and programs :  international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers / 
Henk Barendregt and Tobias Nipkow (eds.) 
 - Berlin :  Springer-Verlag,  1994 
 - 383 p. 
 - Lecture notes in computer science ;  no. 806 .
<br/><br/><label>ISBN: </label>3540580859 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic theorem proving--Congresses<br/>Computer programs--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.9 A96  / T97