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.