MPG.eBooks - Search Results - "Nancy, France"

Cover Image

1

Typed Lambda Calculi and Applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

“... Lambda Calculi and Applications, TLCA '97, held in Nancy, France, in April 1997. The 24 revised full...”