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
Citace 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.
Citace podle MLA (9th 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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..