Polyvariant analysis of the untyped lambda calculus
We couldn't estimate the reading time for this book.
Author
Contributions
- Schwartzbach, Michael I. - Contributor
Publication
1992 - Computer Science Department, Aarhus University, Aarhus, Denmark, Denmark
Language
English
Subjects
Series Statement
- DAIMI PB -- 386
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!