Typed Lambda Calculi and Applications

53.49 EUR

Entdecken Sie die neuesten Erkenntnisse zur Typisierung von Lambda‑Kalkülen in dieser Ausgabe der TLCA'99 Konferenz, die theoretische Modelle mit praxisnahen Anwendungen verbindet und neue Perspektiven für die Forschung eröffnet.

Teilen: