Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings /

Bibliographic Details
Corporate Author: International Conference on Typed Lambda Calculi and Applications Nancy, France
Other Authors: Groote, Philippe (ed.), Hindley, James Roger, 1939- (ed.)
Format: Conference Proceeding Book
Published: Berlin : Springer, 1997.
Series:Lecture notes in computer science ; v. 1210
LNCS ; v. 1210
Subjects:
Description
Physical Description:viii, 404 p. : il. ; 24 cm.
ISBN:3540626883