Cita APA (7a ed.)

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

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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