Dan R. Ghica – författare

Visar alla böcker från författaren Dan R. Ghica. Handla med fri frakt och snabb leverans.

2 produkter

1. 

   String Diagrams for Lambda Calculi and Functional Computation

   Av Dan R. Ghica, Fabio Zanasi

   Inbunden, 2026

   791 kr

   Kommande

   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 …

2. 

   String Diagrams for Lambda Calculi and Functional Computation

   Av Dan R. Ghica, Fabio Zanasi

   Häftad, 2026

   282 kr

   Kommande

   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 …