Thomas Ehrhard – författare

Visar alla böcker från författaren Thomas Ehrhard. Handla med fri frakt och snabb leverans.

1 produkter

1. 

   Linear Logic in Computer Science

   Av Thomas Ehrhard, Jean-Yves Girard m. fl.

   Häftad, 2004

   1469 kr

   Lägg i varukorg

   Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical …