String Diagrams for Lambda Calculi and Functional Computation

Name: String Diagrams for Lambda Calculi and Functional Computation
Brand: Cambridge University Press
Price: 178.75 AUD
Availability: PreOrder

By: Dan R. Ghica, Fabio Zanasi

Write A Review

Hardcover | 31 August 2026

At a Glance

Format
Hardcover

Hardcover

$178.75

or 4 interest-free payments of $44.69 with

or

Available: 31st August 2026

Preorder. Will ship when available.

This Element gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictication, and leading up to Cartesian Closed Categories, the core mathematical model of the lambda calculus and of functional programming languages. This methodology inverts the usual approach of proceeding from syntax to a categorical interpretation, by rationally reconstructing a syntax from the categorical model. The result is a graph syntax-more precisely, a hierarchical hypergraph syntax-which in many ways is shown to be an improvement over the conventional linear term syntax. The rest of the Element focuses on applications of interest to programming languages: operational semantics, general frameworks for type inference, and complex whole-program transformations such as closure conversion and automatic differentiation. This title is also available as open access on Cambridge Core.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.