| |
|
| Artikel-Nr.: 5667A-9783540516620 Herst.-Nr.: 9783540516620 EAN/GTIN: 9783540516620 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | David H. Pitt; David E. Rydeheard; Peter Dybjer; Andrew Pitts; Axel Poigne | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine Informatikbücher - englischsprachig, allgemeine informatikbücher - englischsprachig, EDV / Theorie / Software-Entw. / Software Engineering, Programmiersprachen, DenotationelleSemantik; Kategorientheorie; Lamda-Kalkül; SemantikvonProgrammiersprachen; calculus; logic; Petrinet; programming; programminglanguage; sets, Denotationelle Semantik, Kategorientheorie, Lamda-Kalkül, Semantik von Programmiersprachen, calculus, logic, petri net, programming |
| | |
| |