[Lambda]-calculus and computer science theory: Proceedings of the symposium held in Rome, March 25-27, 1975 (Lecture notes in computer science)

Paperback details (USA). ISBN: 978-0-387-07416-0 ISBN-10: 0-387-07416-3 Springer-Verlag · 1975