Typed Lambda Calculi and Applications: 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013, Proceedings (Lecture Notes in Computer Science)
Der Band fasst die Beiträge der 11. TLCA-Konferenz in Eindhoven zusammen und beleuchtet aktuelle Entwicklungen im typisierten Lambda‑Kalkül, von t ...