APA (7th ed.) Citation

KURZ, A., PETRIŞAN, D., SEVERI, P., & DE VRIES, F. (2013). NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS. Logical Methods in Computer Science (LMCS), 9(4), 1. https://doi.org/10.2168/LMCS-9(4:20)2013

Chicago Style (17th ed.) Citation

KURZ, ALEXANDER, DANIELA PETRIŞAN, PAULA SEVERI, and FER-JAN DE VRIES. "NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS." Logical Methods in Computer Science (LMCS) 9, no. 4 (2013): 1. https://doi.org/10.2168/LMCS-9(4:20)2013.

MLA (9th ed.) Citation

KURZ, ALEXANDER, et al. "NOMINAL COALGEBRAIC DATA TYPES WITH APPLICATIONS TO LAMBDA CALCULUS." Logical Methods in Computer Science (LMCS), vol. 9, no. 4, 2013, p. 1, https://doi.org/10.2168/LMCS-9(4:20)2013.