Linear logic in computer science
By: Ehrhard, Thomas.
Material type:
BookSeries: London Mathematical Society lecture note series.Publisher: Cambridge: Cambridge University Press, 2004Description: x, 381 p.; ill.: 23 cm.ISBN: 0521608570 .Subject(s): Logic, Symbolic and mathematical | Computer science | Computer science -- Mathematics | Linear logic | Proof theoryDDC classification: 511.36
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 511.36 EHR (Browse shelf) | Available | 018066 |
Browsing DAIICT Shelves Close shelf browser
| 511.352015118 TUR Computable models | 511.36 BUR Extending the frontiers of mathematics : inquiries into proof and argumentation | 511.36 CHO Introduction to proof through number theory | 511.36 EHR Linear logic in computer science | 511.36 GUN Handbook of mathematical induction : theory and applications | 511.36 LOL Meaning of proofs : mathematics as storytelling | 511.36 POE Adapting proofs-as-programs : the Curry-Howard protocol |
There are no comments for this item.