Text clean & bright; binding tight; moderate wear to covers; previous owner's name inked on title page. 365 pages. Volume 389, Lecture Notes in Computer Science.

Seller Inventory # S48-007212

Contact seller

Report this item

Bibliographic Details

Title

Category Theory and Computer Science: Manchester, UK, September 5-8, 1989 Proceedings (Lecture Notes in Computer Science 389)

Publisher

Springer Verlag, Secaucus, New Jersey, U.S.A.

Publication Date

1989

Language

English

ISBN 10

038751662X

ISBN 13

9780387516622

Binding

Soft Cover

Condition

Good

Seller catalogs

EDALL

About this title

Synopsis

Coherence and valid isomorphism in closed categories applications of proof theory to category theory in a computer sclentist perspective.- An algebraic view of interleaving and distributed operational semantics for CCS.- Temporal structures.- Compositional relational semantics for indeterminate dataflow networks.- Operations on records.- Projections for polymorphic strictness analysis.- A category-theoretic account of program modules.- A note on categorical datatypes.- A set constructor for inductive sets in Martin-L�f's type theory.- Independence results for calculi of dependent types.- Quantitative domains, groupoids and linear logic.- Graded multicategories of polynomial-time realizers.- On the semantics of second order lambda From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative A categorical treatment.- An abstract formulation for rewrite systems.- From petri nets to linear logic.- A dialectica-like model of linear logic.- A final coalgebra theorem.

"About this title" may belong to another edition of this title.

Store Description

Visit Seller's Storefront

Seller's business information

Book Booth
OH, U.S.A.

Sale & Shipping Terms

Terms of Sale

Checks and money orders are also accepted; please make checks or money orders payable to
Carol Casciani
441 W. Bagley Rd.
#173
Berea OH 44017

International orders must be pay...

More Information

Shipping Terms

Payment accepted via credit card, check/money order, or PayPal. Credit cards accepted via ABEbooks or PayPal ONLY -- please do not send us your credit card information, as we have no way of processing it ourselves. Our PayPal account is bookbooth@usa.com. If paying via PayPal, please remember to include shipping & handling charges. Checks and money orders are also accepted; please make them payable to: C.M. Casciani, 441 W. Bagley Rd. #173, Berea OH 44017. Library and institutional orders welcome; please email us if you require any special handling. International orders must be payable in US dollars. SHIPPING & HANDLING: all books shipped in USA via USPS; Media Mail 7-14 business days for delivery, $4.00 for first book - $1.50 each additional book; or, Priority Mail 2-4 business days for delivery, $6.00 first book - $2.50 each additional book. Returns for reasonable grading of condition; email us prior to return for shipping instructions.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 14 business days	3 to 6 business days
First item	US$ 5.90	US$ 12.70

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.