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

Category Theory and Computer Science Paris, France, September 3-6, 1991. Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.1991

Abbildungen

VIII, 304 p.

Herausgeber

David H. Pitt + weitere

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54495-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.08.1991

Abbildungen

VIII, 304 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

23,5/15,5/1,8 cm

Gewicht

482 g

Auflage

1991

Sprache

Englisch

ISBN

978-3-540-54495-1

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
  • Stone duality for stable functions.- Bifinite domains: Stable case.- Local variables and non-interference in algol-like languages.- Categories of information systems.- Collapsing graph models by preorders.- Linear logic and interference control.- Higher dimensional word problem.- BCK-formulas having unique proofs.- Proof nets and coherence theorems.- A modular approach to denotational semantics.- Programs in partial algebras — A categorical approach.- Tail recursion from universal invariants.- A direct proof of the intuitionistic Ramsey Theorem.- Constructions and predicates.- Relating models of impredicative type theories.- Two results on set-theoretic polymorphism.- An algebra of graphs and graph rewriting.- Dataflow networks are fibrations.- Applications of the calculus of trees to process description languages.