APA (7th ed.) Citation

WALSH, S. (2026). SIMPLY-TYPED CONSTANT-DOMAIN MODAL LAMBDA CALCULUS I: DISTANCED BETA REDUCTION AND COMBINATORY LOGIC. Logical Methods in Computer Science (LMCS), 22(3), 1. https://doi.org/10.46298/LMCS-22(3:4)2026

Chicago Style (17th ed.) Citation

WALSH, SEAN. "SIMPLY-TYPED CONSTANT-DOMAIN MODAL LAMBDA CALCULUS I: DISTANCED BETA REDUCTION AND COMBINATORY LOGIC." Logical Methods in Computer Science (LMCS) 22, no. 3 (2026): 1. https://doi.org/10.46298/LMCS-22(3:4)2026.

MLA (9th ed.) Citation

WALSH, SEAN. "SIMPLY-TYPED CONSTANT-DOMAIN MODAL LAMBDA CALCULUS I: DISTANCED BETA REDUCTION AND COMBINATORY LOGIC." Logical Methods in Computer Science (LMCS), vol. 22, no. 3, 2026, p. 1, https://doi.org/10.46298/LMCS-22(3:4)2026.