Derivation and Computation: Taking the Curry-Howard Correspondence Seriously
164.70 EUR
Ein umfassendes Fachbuch, das die Curry‑Howard‑Korrespondenz als Brücke zwischen formaler Logik und funktionalem Programmieren nutzt, um komplexe Ableitungen in klare Algorithmen zu übersetzen.
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
Medimops DE
Derivation and Computation: Taking the Curry-Howard Correspondence Seriously (Cambridge Tracts in Theoretical Computer Science, Band 51)
Medimops DE
24-04-2026 21:08:52
