Typed Lambda Calculi and Applications
53.49 EUR
Der Band dokumentiert die zweite internationale Konferenz zu typisierten Lambda‑Kalkülen, die 1995 in Edinburgh stattfand; er verbindet theoretische Grundlagen mit konkreten Anwendungen in Programmierung und formaler Logik.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Medimops DE 
SpringerLink DE Ähnliche Produkte
Typed Lambda Calculi and Applications
53.49 EUR
Typed Lambda Calculi and Applications
53.49 EUR
Conditional and Typed Rewriting Systems
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