| Types for Proofs and Programs International Workshop TYPES '93, Nijmegen, the Netherlands, May 1993: Selected Papers | | | Editor:
| Barendregt, Hank
Nipkow, Tobias | | Series title: | Lecture Notes in Computer Science | | ISBN: | 978-0-387-58085-2 | | Publication Date: | Jun 1994 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | Contact Supplier contact
|
| |