Vor Ort
Merkzettel Warenkorb
  • Produktbild: Category Theory and Computer Science
  • Produktbild: Category Theory and Computer Science
Band 389

Category Theory and Computer Science Manchester, UK, September 5-8, 1989. Proceedings

Aus der Reihe Lecture Notes in Computer Science

47,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1989

Abbildungen

VIII, 372 p.

Herausgeber

David H. Pitt + weitere

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51662-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.1989

Abbildungen

VIII, 372 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

372

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

569 g

Auflage

1989

Sprache

Englisch

ISBN

978-3-540-51662-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Category Theory and Computer Science
  • Produktbild: Category Theory and Computer Science
  • 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.