An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time.
Информация за "The Little Typer"
- SKU 9780262536431
- Weight 0.662000
- ISBN 9780262536431
- Вид корица Paperback / softback
- Издателство MIT Press Ltd
- Брой страници 424
The information below is required for social login