Modal Homotopy Type Theory
Subtitle: The Prospect of a New Logic for Philosophy
Publisher: Oxford University Press
Published: 2020
Language: eng
Number of pages: 192
ISBN-13: 9780198853404