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

Corporate Authors: International Conference on Typed Lambda Calculi and Applications (3rd 1997 Nancy, France)
Group Author: De Groote Philippe.; Hindley J. Roger.
Published: Springer,
Publication Dates: c1997.
Call Number: TP301-532/I61/1997