Cohen, L., & Rahli, V. (2024). text{TT}^{\Box}_{\mathcal C}$: A Family of Extensional Type Theories with Effectful Realizers of Continuity. Logical methods in computer science, 20, Issue 2, . https://doi.org/10.46298/lmcs-20(2:18)2024
Citácia podle Chicago (17th ed.)Cohen, Liron, a Vincent Rahli. "Text{TT}^{\Box}_{\mathcal C}$: A Family of Extensional Type Theories with Effectful Realizers of Continuity." Logical Methods in Computer Science 20, Issue 2 (2024). https://doi.org/10.46298/lmcs-20(2:18)2024.
Citácia podľa MLA (8th ed.)Cohen, Liron, a Vincent Rahli. "Text{TT}^{\Box}_{\mathcal C}$: A Family of Extensional Type Theories with Effectful Realizers of Continuity." Logical Methods in Computer Science, vol. 20, Issue 2, 2024, https://doi.org/10.46298/lmcs-20(2:18)2024.