Advances in Linear Logic

Häftad, Engelska, 1995

Av Jean-Yves Girard, Paris) Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris) Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris) Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Yves LaFont, Yves Lafont, Jean-Yves Girard

1 239 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.

Produktinformation

Utgivningsdatum1995-06-22
Mått153 x 226 x 23 mm
Vikt570 g
SpråkEngelska
SerieLondon Mathematical Society Lecture Note Series
Antal sidor400
FörlagCambridge University Press
EAN9780521559614

Mer från samma författare

Linear Logic in Computer Science

Linear Logic in Computer Science

Marseille) Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille) Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille) Ruet, Paul (Institut de Mathematiques de Luminy, Philip (University of Ottawa) Scott, Thomas Ehrhard, Jean-Yves Girard, Paul Ruet

1 569 kr

Immortal Element

Immortal Element

Jean-Yves Girard, Jean-yves, Girard

319 kr

Typed Lambda Calculi and Applications

Del 1581

Typed Lambda Calculi and Applications

Jean-Yves Girard

709 kr

Mer från samma serie

Surveys in Combinatorics, 2001

Surveys in Combinatorics, 2001

J. W. P. (University of Sussex) Hirschfeld, J. W. P. Hirschfeld, N. J. Hitchin

1 109 kr

Foundations of Computational Mathematics

Foundations of Computational Mathematics

DeVore Iserles Suli, DeVore/Iserles/Suli, Endre Suili, Ronald (University of South Carolina) Devore, Arieh (University of Cambridge) Iserles, Endre (University of Oxford) Suli

1 099 kr

Clifford Algebras and Spinors

Clifford Algebras and Spinors

Pertti (Helsinki Polytechnic) Lounesto, Pertti Lounesto, J. W. S. Cassels, N. J. Hitchin

999 kr

Aspects of Sobolev-Type Inequalities

Aspects of Sobolev-Type Inequalities

New York) Saloff-Coste, Laurent (Cornell University, Laurent Saloff-Coste

809 kr

Quantum Groups and Lie Theory

Quantum Groups and Lie Theory

Andrew (King's College London) Pressley, Andrew Pressley

809 kr

A Quantum Groups Primer

A Quantum Groups Primer

Shahn (Queen Mary University of London) Majid, Shahn Majid, J. W. S. Cassels, N. J. Hitchin

809 kr

Tits Buildings and the Model Theory of Groups

Tits Buildings and the Model Theory of Groups

Germany) Tent, Katrin (Bayerische-Julius-Maximilians-Universitat Wurzburg, Katrin Tent, J. W. S. Cassels, N. J. Hitchin

1 169 kr

General Cohomology Theory and K-Theory

General Cohomology Theory and K-Theory

P. J. Hilton, Peter John Hilton, J. W. S. Cassels

839 kr

Numerical Ranges of Operators on Normed Spaces and of Elements of Normed Algebras

Numerical Ranges of Operators on Normed Spaces and of Elements of Normed Algebras

F. F. Bonsall, J. Duncan, N. J. Hitchin

1 049 kr

Algebraic Topology

Algebraic Topology

J. F. Adams, J. Frank Adams, G. C. Shepherd, N. J. Hitchin

1 619 kr

Du kanske också är intresserad av

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik