Modal Homotopy Type Theory

Type: Physical Book

Pages: 192

Release Date: 2020-01-01

ISBN 10: 0198853408

ISBN 13: 9780198853404

Readers: 1