TY - DATA AU - Ong,Luke ED - SpringerLink (Online service) TI - Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings SN - 9783642216916 PY - 2011/// CY - Berlin, Heidelberg PB - Springer-Verlag GmbH Berlin Heidelberg KW - Computer science KW - Logic design KW - Algebra KW - Data processing KW - Electronic data processing KW - Logic, Symbolic and mathematical KW - Computer Science KW - Mathematical Logic and Formal Languages KW - Mathematics of Computing KW - Logics and Meanings of Programs KW - Symbolic and Algebraic Manipulation KW - Computing Methodologies KW - Mathematical Logic and Foundations UR - http://dx.doi.org/10.1007/978-3-642-21691-6 ER -