Assertion: institute's program | /r/HasProperty | organized by thierry coquand
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.