Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)
Ein kompaktes Sammelwerk aus der neunten TLCA-Konferenz, die im Juli 2009 in Brasília stattfand; es präsentiert aktuelle Forschung zu typisierten Lambda‑Kalkülen und deren praktische Anwendungen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Typed Lambda Calculi and Applications: 9th International Conference, TLCA 2009, Brasilia, Brazil, July 1-3, 2009, Proceedings (Lecture Notes in Computer Science)
Medimops DE
24-04-2026 05:49:13
SpringerLink DE
Gesponsert
Galaxus.de
Typed Lambda Calculi and Applications, Fachbücher von Pierre-Louis Curien
Galaxus.de
23-04-2026 14:29:13
Ähnliche Produkte
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
37.44 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
42.79 EUR