Almeida, B., Mordido, A., Thiemann, P., & Vasconcelos, V. T. (2022). Polymorphic lambda calculus with context-free session types. Information and computation, 289, 104948. https://doi.org/10.1016/j.ic.2022.104948
Citácia podle Chicago (17th ed.)Almeida, Bernardo, Andreia Mordido, Peter Thiemann, a Vasco T. Vasconcelos. "Polymorphic Lambda Calculus with Context-free Session Types." Information and Computation 289 (2022): 104948. https://doi.org/10.1016/j.ic.2022.104948.
Citácia podľa MLA (8th ed.)Almeida, Bernardo, et al. "Polymorphic Lambda Calculus with Context-free Session Types." Information and Computation, vol. 289, 2022, p. 104948, https://doi.org/10.1016/j.ic.2022.104948.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..