Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
by H. Barendregt, T. Nipkow Paperback 1
- Author: H. Barendregt, T. Nipkow
- ISBN 13: 9783540580850
- ISBN 10: 3540580859
- Publication Year: 1
- Language: English
Specifications
| Index-10 | 3540580859 |
|---|---|
| Index-13 | 9783540580850 |
| Language | English |