Clairambault, P., Grellois, C., & Murawski, A. (2017). Linearity in higher-order recursion schemes. Association for Computing Machinery.
Dyfyniad Arddull ChicagoClairambault, P., C. Grellois, and A. Murawski. Linearity in Higher-order Recursion Schemes. Association for Computing Machinery, 2017.
Dyfyniad MLAClairambault, P., et al. Linearity in Higher-order Recursion Schemes. Association for Computing Machinery, 2017.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.