Encode-decode for directed higher inductive types

Select what you would like to download. If choosing to download an image, please select the file format you wish to download. The Original File option allows download of the source file (including any features or enhancements included in the original file) and may take several minutes.

Certain download types may have been restricted by the site administrator.

Select the document elements you would like to include in the embed code.