Part I indicates that typed-calculi are a formulation of higher-order logic, and cartesian closed categories are essentially the same. Part …
Intrinsically noncommutative spaces today are considered from the perspective of several branches of modern physics, including quantum gravity, string theory, …
Arising from the 1996 Cape Town conference in honour of the mathematician Bernhard Banaschewski, this collection of 30 refereed papers …
