Ceulemans, J., Nuyts, A., & Devriese, D. (2025). BiSikkel: A Multimode Logical Framework in Agda. Proceedings of ACM on programming languages, 9(POPL), 210-240. https://doi.org/10.1145/3704844
Citácia podle Chicago (17th ed.)Ceulemans, Joris, Andreas Nuyts, a Dominique Devriese. "BiSikkel: A Multimode Logical Framework in Agda." Proceedings of ACM on Programming Languages 9, no. POPL (2025): 210-240. https://doi.org/10.1145/3704844.
Citácia podľa MLA (8th ed.)Ceulemans, Joris, et al. "BiSikkel: A Multimode Logical Framework in Agda." Proceedings of ACM on Programming Languages, vol. 9, no. POPL, 2025, pp. 210-240, https://doi.org/10.1145/3704844.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..