Category Theory and Computer Science
Springer Berlin (Verlag)
978-3-540-51662-0 (ISBN)
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.
| Erscheint lt. Verlag | 23.8.1989 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | VIII, 372 p. |
| Verlagsort | Berlin |
| Sprache | englisch |
| Maße | 170 x 250 mm |
| Gewicht | 526 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Schlagworte | Calculus • Denotationelle Semantik • Hardcover, Softcover / Informatik, EDV/Informatik • Informatik • Kategorientheorie • Lamda-Kalkül • Logic • Petri net • programming • Programming language • Semantik von Programmiersprachen • Sets |
| ISBN-10 | 3-540-51662-X / 354051662X |
| ISBN-13 | 978-3-540-51662-0 / 9783540516620 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
