The univalence axiom in cubical sets

MLA

Bezem, Marc, et al. The Univalence Axiom in Cubical Sets. 2017. EBSCOhost, widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1710.10941&authtype=sso&custid=ns315887.

APA

Bezem, M., Coquand, T., & Huber, S. (2017). The univalence axiom in cubical sets.

Chicago

Bezem, Marc, Thierry Coquand, and Simon Huber. 2017. “The Univalence Axiom in Cubical Sets.” http://widgets.ebscohost.com/prod/customlink/proxify/proxify.php?count=1&encode=0&proxy=&find_1=&replace_1=&target=https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&scope=site&db=edsarx&AN=edsarx.1710.10941&authtype=sso&custid=ns315887.