APA (7th ed.) Citation

Awodey, S., Frey, J., & Speight, S. (2018). Impredicative Encodings of (Higher) Inductive Types.

Chicago Style (17th ed.) Citation

Awodey, Steve, Jonas Frey, and Sam Speight. Impredicative Encodings of (Higher) Inductive Types. 2018.

MLA (9th ed.) Citation

Awodey, Steve, et al. Impredicative Encodings of (Higher) Inductive Types. 2018.