APA (7th ed.) Citation

Novitzká, V., & Mihályi, D. Polymorphic type theory as a base for categorical logic.

Chicago Style (17th ed.) Citation

Novitzká, Valerie, and Daniel Mihályi. Polymorphic Type Theory as a Base for Categorical Logic.

MLA (9th ed.) Citation

Novitzká, Valerie, and Daniel Mihályi. Polymorphic Type Theory as a Base for Categorical Logic.

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