Typed lambda calculi and applications :  third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / 
 TLCA '97 
Philippe de Groote and J. Roger Hindley, eds. 
 - Berlin :  Springer,  1997 
 - 404 p. 
 - Lecture notes in computer science ;  no. 1210 .
<br/><br/><label>ISBN: </label>3540626883 
<br/><br/><label>ISSN: </label>03029743 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Lambda calculus--Congresses
<br/><br/><label>LC Class. No.: </label>QA9.5  / I58 1997