Pitt / Rydeheard / Poigne | Category Theory and Computer Science | Buch | 978-3-540-51662-0 | sack.de

Buch, Englisch, Band 389, 372 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1160 g

Reihe: Lecture Notes in Computer Science

Pitt / Rydeheard / Poigne

Category Theory and Computer Science

Manchester, UK, September 5-8, 1989. Proceedings
1989
ISBN: 978-3-540-51662-0
Verlag: Springer Berlin Heidelberg

Manchester, UK, September 5-8, 1989. Proceedings

Buch, Englisch, Band 389, 372 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 1160 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-540-51662-0
Verlag: Springer Berlin Heidelberg


Springer Book Archives

Pitt / Rydeheard / Poigne Category Theory and Computer Science jetzt bestellen!

Zielgruppe


Research

Weitere Infos & Material


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.



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.