APA (7th ed.) Citation

Sitnikovski, B. a. (2023). Introduction to Dependent Types with Idris: Encoding Program Proofs in Types (1st ed. 2023.). Apress.

Chicago Style (17th ed.) Citation

Sitnikovski, Boro. author. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types. 1st ed. 2023. Berkeley, CA: Apress, 2023.

MLA (9th ed.) Citation

Sitnikovski, Boro. author. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types. 1st ed. 2023. Apress, 2023.

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