Czajka, Ł. (2020). An operational interpretation of coinductive types. Logical methods in computer science, 16, Issue 1, . https://doi.org/10.23638/LMCS-16(1:11)2020
Citácia podle Chicago (17th ed.)Czajka, Łukasz. "An Operational Interpretation of Coinductive Types." Logical Methods in Computer Science 16, Issue 1 (2020). https://doi.org/10.23638/LMCS-16(1:11)2020.
Citácia podľa MLA (8th ed.)Czajka, Łukasz. "An Operational Interpretation of Coinductive Types." Logical Methods in Computer Science, vol. 16, Issue 1, 2020, https://doi.org/10.23638/LMCS-16(1:11)2020.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..