Types For Proofs and Programs : Selected Papers of the International Workshop Types '96, Aussois, France, December 1996
by Eduardo Ginerey Paperback 2001
- Author: Eduardo Ginerey
- ISBN 13: 9783540651376
- ISBN 10: 3540651373
- Publication Year: 2001
- Language: English
Specifications
| Index-10 | 3540651373 |
|---|---|
| Index-13 | 9783540651376 |
| Language | English |