APA (7th ed.) Citation

Laarakker, B., Otten, D., & Berg, B. v. d. (2026). Constructing (Co)inductive Types via Large Sizes.

Chicago Style (17th ed.) Citation

Laarakker, Bastiaan, Daniël Otten, and Benno van den Berg. Constructing (Co)inductive Types via Large Sizes. 2026.

MLA (9th ed.) Citation

Laarakker, Bastiaan, et al. Constructing (Co)inductive Types via Large Sizes. 2026.