APA (7th ed.) Citation

Rivera, F. R. C., & North, P. R. (2026). Directed type theory, with a twist.

Chicago Style (17th ed.) Citation

Rivera, Fernando Rafael Chu, and Paige Randall North. Directed Type Theory, with a Twist. 2026.

MLA (9th ed.) Citation

Rivera, Fernando Rafael Chu, and Paige Randall North. Directed Type Theory, with a Twist. 2026.

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