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
Chicago-Zitierstil (17. Ausg.)Almeida, Bernardo, Andreia Mordido, Peter Thiemann, und 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.
MLA-Zitierstil (9. Ausg.)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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.