東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Linear logic in computer science /

Ehrhard, Thomas, (1958-)

FindBook

Google Book

Amazon

博客來

Linear logic in computer science /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Linear logic in computer science // edited by Thomas Ehrhard ... [et al.]
其他作者:	Ehrhard, Thomas,
出版者:	Cambridge :Cambridge University Press, : 2004.,
面頁冊數:	x, 381 p. :ill. ;23 cm.
內容註:	Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda]-calculus / S. Guerrini -- An overview of linear logic programming / D. Miller -- Linearity and nonlinearity in distributed computation / G. Winskel -- An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli -- An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini -- Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco -- A topological correctness criterion for multiplicative non-commutative logic / P.-A. Mellie�s -- Bicategories in algebra and linguistics / J. Lambek -- Between logic and quantic : a tract / J.-Y. Girard.
標題:	Proof theory. -
ISBN:	0521608570 (pbk.) :

Linear logic in computer science /
Linear logic in computer science /edited by Thomas Ehrhard ... [et al.] - Cambridge :Cambridge University Press,2004. - x, 381 p. :ill. ;23 cm. - London Mathematical Society lecture note series316. - London Mathematical Society lecture note series ;359..

Includes bibliographical references.

Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda]-calculus / S. Guerrini -- An overview of linear logic programming / D. Miller -- Linearity and nonlinearity in distributed computation / G. Winskel -- An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli -- An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini -- Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco -- A topological correctness criterion for multiplicative non-commutative logic / P.-A. Mellie�s -- Bicategories in algebra and linguistics / J. Lambek -- Between logic and quantic : a tract / J.-Y. Girard.

ISBN: 0521608570 (pbk.) :GBP53.00

LCCN: 2005297208Subjects--Topical Terms:

543782
Proof theory.
Subjects--Index Terms:

Linear logic

LC Class. No.: QA9.54 / .L56 2004

Dewey Class. No.: 511.36

Linear logic in computer science /
LDR:01668cam a2200313 a 4500 001 980830
003 OCoLC
005 20111019043053.0
008 111115s2004 enka b 000 0 eng d
010 $a 2005297208
020 $a 0521608570 (pbk.) : $c GBP53.00
020 $a 9780521608572 (pbk.)
029 1 $a NZ1 $b 8721757
029 1 $a AU@ $b 000026327617
029 1 $a NLGGC $b 332725200
035 $a (OCoLC)56655091 $z (OCoLC)56876868
035 $a AS-BW-100-08
040 $a UKM $c UKM $d DLC $d BAKER $d PMC $d BTCTA $d YDXCP $d OCLCG $d UKMGB
042 $a ukblsr
049 $a FISA
050 0 0 $a QA9.54 $b .L56 2004
082 0 4 $a 511.36 $2 22
245 0 0 $a Linear logic in computer science / $c edited by Thomas Ehrhard ... [et al.]
260 # $a Cambridge : $b Cambridge University Press, $c 2004.
300 $a x, 381 p. : $b ill. ; $c 23 cm.
490 1 $a London Mathematical Society lecture note series $v 316
504 $a Includes bibliographical references.
505 0 # $a Category theory for linear logicians / R. Blute and Ph. Scott -- Proof nets and the [lambda]-calculus / S. Guerrini -- An overview of linear logic programming / D. Miller -- Linearity and nonlinearity in distributed computation / G. Winskel -- An axiomatic approach to structural rules for locative linear logic / J.-M. Andreoli -- An introduction to uniformity in Ludics / C. Faggian, M.-R. Fleury-Donnadieu and M. Quatrini -- Slicing polarized additive normalization / O. Laurent, L. Tortora de Falco -- A topological correctness criterion for multiplicative non-commutative logic / P.-A. Mellie�s -- Bicategories in algebra and linguistics / J. Lambek -- Between logic and quantic : a tract / J.-Y. Girard.
650 # 0 $a Proof theory. $3 543782
650 # 0 $a Computer science $x Mathematics. $3 532725
653 1 # $a Linear logic
653 1 # $a Computer science
700 1 # $a Ehrhard, Thomas, $d 1958- $3 1305996
710 2 # $a London Mathematical Society. $3 597535
830 0 $a London Mathematical Society lecture note series ; $v 359. $3 1232938