Sciweavers

Share
MSCS
2007
49views more  MSCS 2007»
8 years 9 months ago
Truth, modality and intersubjectivity
Jean-Yves Girard
MSCS
2007
125views more  MSCS 2007»
8 years 9 months ago
On categorical models of classical logic and the Geometry of Interaction
It is well-known that weakening and contraction cause na¨ıve categorical models of the classical sequent calculus to collapse to Boolean lattices. In previous work, summarized b...
Carsten Führmann, David J. Pym
MSCS
2007
91views more  MSCS 2007»
8 years 9 months ago
A rewriting calculus for cyclic higher-order term graphs
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, C...
MSCS
2007
92views more  MSCS 2007»
8 years 9 months ago
Restriction categories III: colimits, partial limits and extensivity
ction category is an abstract formulation for a category of partial maps, defined in terms of certain specified idempotents called the restriction idempotents. All categories of...
J. Robin B. Cockett, Stephen Lack
MSCS
2007
94views more  MSCS 2007»
8 years 9 months ago
On the status of perturbation theory
Perturbation theory has always been an important part of natural sciences. From celestial mechanics to quantum theory of fields it has always played a central role that this litt...
Thierry Paul
MSCS
2007
85views more  MSCS 2007»
8 years 9 months ago
Constructive analysis, types and exact real numbers
Herman Geuvers, Milad Niqui, Bas Spitters, Freek W...
books