Affeldt, R., Garrigue, J., & Saikawa, T. (2023). A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory.
Citazione stile Chigago Style (17a edizione)Affeldt, Reynald, Jacques Garrigue, e Takafumi Saikawa. A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. 2023.
Citatione MLA (9a ed.)Affeldt, Reynald, et al. A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory. 2023.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.