Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
Medimops DE 
SpringerLink DE 53.49 EUR
53.49 EUR
19-08-2026 23:14:13
Der Band fasst die Ergebnisse der zweiten internationalen Konferenz zu typisierten Lambda‑Kalkülen aus Edinburgh 1995 zusammen, beleuchtet theoretische Fortschritte und zeigt deren Einsatz in modernen Programmiersprachen und formalen Logiksystemen.
