APA (7th ed.) Citation

(2014). Formalization of Programs with Positive Inductive Types.

Chicago Style (17th ed.) Citation

Formalization of Programs with Positive Inductive Types. 2014.

MLA (8th ed.) Citation

Formalization of Programs with Positive Inductive Types. 2014.

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