APA (7th ed.) Citation

Sitnikovski, B. (2023). Introduction to dependent types with Idris: Encoding program proofs in types ([First edition].). Apress.

Chicago Style (17th ed.) Citation

Sitnikovski, Boro. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types. [First edition]. New York, NY: Apress, 2023.

MLA (9th ed.) Citation

Sitnikovski, Boro. Introduction to Dependent Types with Idris: Encoding Program Proofs in Types. [First edition]. Apress, 2023.