Contributions

  • Manindra Agrawal (Editor) - Contributor
  • Anil Seth (Editor) - Contributor

Publication

2003-01-31 - Springer

Language

English

Word Count

93,000 words, Guess

Page Count

372 pages

Physical Format

Paperback

Identifiers

First Sentence

In foundational research some two decades ago, Jean-Jacques Lévy attempted to characterize formally what an optimally efficient reduction strategy for the -calculus would look like, even if the technology for its implementation was at the time lacking [13].

Subjects

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!