Contributions

  • De Groote, Philippe. - Contributor
  • Hindley, J. Roger. - Contributor

Publication

1997 - Springer, Berlin

Language

English

Word Count

101,000 words, Guess

Page Count

404 pages

Identifiers

and 2 more
  • Goodreads4272433
  • LibraryThing6555934

Classifications

  • DDC511.3
  • LCCQA9.5 .I58 1997

Subjects

Topics

Series Statement

  • Lecture notes in computer science ;

Other Editions

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

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!