APA (7th ed.) Citation

Speight, S., & van der Weide, N. (2026). Impredicativity in Linear Dependent Type Theory.

Chicago Style (17th ed.) Citation

Speight, Sam, and Niels van der Weide. Impredicativity in Linear Dependent Type Theory. 2026.

MLA (9th ed.) Citation

Speight, Sam, and Niels van der Weide. Impredicativity in Linear Dependent Type Theory. 2026.

Warning: These citations may not always be 100% accurate.