Wyniki wyszukiwania:

The ICM 2010 satellite conference 'Geometry, Topology and Dynamics in Negative Curvature' afforded an excellent opportunity to discuss various aspects of this fascinating interdisciplinary subject in which methods and techniques from geometry, topology, and dynamics often interact in novel and interesting ways. Containing ten survey articles written by some of the leading experts in the field, this proceedings volume provides an overview of important recent developments relating to negative curvature. Topics covered include homogeneous dynamics, harmonic manifolds, the Atiyah Conjecture,...

This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.