CITATION STYLE
Ong, C.-H. L. (2017). Automata, Logic and Games for the Lambda-Calculus. In ICLA (Vol. 10119, pp. 23–26). Retrieved from http://link.springer.com/10.1007/978-3-662-54069-5
Mendeley helps you to discover research relevant for your work.