Category Theory and Computer Science
Editat de Eugenio Moggi, Giuseppe Rosolinien Limba Engleză Paperback – 20 aug 1997
Category theory attracts interest in the theoretical computer science community because of its ability to establish connections between different areas in computer science and mathematics and to provide a few generic principles for organizing mathematical theories. This book presents a selection of 15 revised full papers together with three invited contributions. The topics addressed include reasoning principles for types, rewriting, program semantics, and structuring of logical systems.
Preț: 323.60 lei
Preț vechi: 404.50 lei
-20%
Puncte Express: 485
Carte tipărită la comandă
Livrare economică 20 iulie-03 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540634553
ISBN-10: 354063455X
Pagini: 328
Ilustrații: IX, 319 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.5 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354063455X
Pagini: 328
Ilustrații: IX, 319 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.5 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Advances in Information Systems DevelopmentGabor Maygar-20%Preț: 1241.76 lei1552.20 lei -
Foundations of Dependable ComputingGary M Koob-20%Preț: 972.32 lei1215.39 lei -
-18%Preț: 1422.96 lei1735.32 lei -
The Basics of Line Balancing and JIT KittingBeverly TownsendPreț: 209.66 lei -
Capacity Management in MRP, APS & S&op SoftwareShaun SnappPreț: 328.86 lei -
High Performance ComputingMichela Taufer-20%Preț: 343.68 lei429.60 lei -
Computer Performance EngineeringDieter Fiems-20%Preț: 319.10 lei398.88 lei -
-20%Preț: 316.03 lei395.04 lei -
Tools for High Performance Computing 2016Christoph Niethammer-20%Preț: 616.43 lei770.54 lei -
-20%Preț: 641.30 lei801.63 lei -
Self-Organizing SystemsHermann De Meer-20%Preț: 321.15 lei401.43 lei -
-20%Preț: 637.34 lei796.67 lei -
Principles of Distributed SystemsAlexander A. Shvartsman-20%Preț: 333.30 lei416.63 lei -
Preț: 416.96 lei -
System Analysis and Modeling: Language ProfilesReinhard Gotzhein-20%Preț: 319.28 lei399.10 lei -
Distributed Computing and Internet TechnologySanjay K. Madria-20%Preț: 332.01 lei415.02 lei -
Data-oriented ReengineeringJörg P. Wadsack-20%Preț: 528.92 lei661.14 lei -
InternetwareHong Mei-20%Preț: 646.12 lei807.65 lei
Public țintă
ResearchCuprins
An introduction to n-categories.- Allegories as a basis for algorithmics.- Separating shape from data.- A factorisation theorem in rewriting theory.- Monads and modular term rewriting.- A 2-categorical presentation of term graph rewriting.- Presheaf models for the ?-calculus.- Categorical modelling of structural operational rules case studies.- Specifying interaction categories.- Shedding new light in the world of logical systems.- Combining and representing logical systems.- A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n))..- Effectiveness of the global modulus of continuity on metric spaces.- Proof principles for datatypes with iterated recursion.- When Do Datatypes Commute?.- A calculus for collections and aggregates.- Lifting.- General synthetic domain theory — A logical approach (extended abstract).