String Diagrams for Lambda Calculi and Functional Computation

(Bog, Paperback / softback, Engelsk)
Forfattere: Dan R. (University of Birmingham) Ghica, Fabio (University College London) Zanasi

Forventes på lager: 31-08-2026

Levering: Kan forudbestilles (Forventes d. 31-08-2026)

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Beskrivelse

An advanced introduction to string diagrams and graph languages for higher-order computation, enhancing clarity and structure in functional programming. This title is also available as open access on Cambridge Core.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfattere Dan R. (University of Birmingham) Ghica, Fabio (University College London) Zanasi
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 31-08-2026
Første udgivelsesår 2026
Serie Elements in Applied Category Theory
Illustrationer Worked examples or Exercises
Originalsprog United Kingdom
Sideantal 75
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 75 pages, Worked examples or Exercises
ISBN-13 / EAN-13 9781009719995