Laurent Regnier – författare
Visar alla böcker från författaren Laurent Regnier. Handla med fri frakt och snabb leverans.
1 produkter
Advances in Linear Logic
Av Jean-Yves Girard, Jean-Yves Girard m. fl.
Häftad, 1995
1201 kr
Lägg i varukorg
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer …
