Assertion: institute's program | /r/HasSubevent | book
Facets:
Source sentences:
text: The program was organized by Steve Awodey, Thierry Coquand and Vladimir Voevodsky, and resulted in a book being published in homotopy type theory.