Twenty-Five Years of Constructive Type Theory : Proceedings of a Congress Held in Venice, October 1995
by Giovanni Sambin, Jan M. Smith Hardcover 1998
- Author: Giovanni Sambin, Jan M. Smith
- ISBN 13: 9780198501275
- ISBN 10: 0198501277
- Publication Year: 1998
- Language: English
Specifications
| Index-10 | 0198501277 |
|---|---|
| Index-13 | 9780198501275 |
| Language | English |
✨ Readers also enjoyed...
Positive Topology : A New Practice…