APA (7th ed.) Citation

Murase, Y., Nishiwaki, Y., & Igarashi, A. (2018). Contextual Modal Type Theory with Polymorphic Contexts. https://doi.org/10.48550/arxiv.1801.09225

Chicago Style (17th ed.) Citation

Murase, Yuito, Yuichi Nishiwaki, and Atsushi Igarashi. Contextual Modal Type Theory with Polymorphic Contexts. 2018. https://doi.org/10.48550/arxiv.1801.09225.

MLA (9th ed.) Citation

Murase, Yuito, et al. Contextual Modal Type Theory with Polymorphic Contexts. 2018. https://doi.org/10.48550/arxiv.1801.09225.