Overview

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 calculus: From bruce-meyer-mitchell models to hyperdoctrine models and vice-versa.- Dictoses.- Declarative continuations: An investigation of duality in programming language semantics.- Logic representation in LF.- Unification properties of commutative theories: 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.
ISBN-13

9783540516620

ISBN-10

354051662X

Weight

1.16 Pounds

Dimensions

6.10 x 0.86 x 9.25 In

List Price

$54.99

Edition

1st Edition

Format

-

Language

English

Pages

viii, 372 pages

Publisher

Springer

Published On

1989-08-23


View All Offers

Sort by:

Condition
Seller
Seller Comments
Price
✨ Brand New
Seller details
Alibris
★★★★★

Sparks, NV, USA

Print on demand Trade paperback (US). Glued binding. 372 p. Lecture Notes in Computer Science, 389.
$58.73

 Free delivery by: 31 Mar 2026

Used, Good
Seller details
Bonita
★★★★☆

Santa Clarita, CA, USA

Access codes and supplements are not guaranteed with used items. May be an ex-library book.
$96.66

 Free delivery by: 31 Mar 2026


Bookstores.com relies on cookies to improve your experience.