Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)

Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806) (ISBN-13: 9783540580850 and ISBN-10: 3540580859), written by authors Henk Barendregt, Tobias Nipkow, was published by Springer in 1994. With an overall rating of 4.3 stars, it's a notable title among other Business Technology (Microsoft Programming, Programming) books. You can easily purchase or rent Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806) (Paperback) from BooksRun, along with many other new and used Business Technology books and textbooks. And, if you're looking to sell your copy, our current buyback offer is $0.33.