Typed lambda calculi and applications :  second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10-12, 1995 : proceedings / 
 TLCA'95 
Mariangiola Dezani-Ciancaglini and Gordon Plotkin, eds. 
 - Berlin :  Springer,  1995 
 - 442 p. 
 - Lecture notes in computer science ;  no. 902 .
<br/><br/><label>ISBN: </label>354059048x 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lambda calculus--congresses
<br/><br/><label>LC Class. No.: </label>QA9.5  / I58 1995