APA (7th ed.) Citation

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 Style (17th ed.) Citation

Almeida, Bernardo, Andreia Mordido, Peter Thiemann, and 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 (9th ed.) Citation

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.