User: Guest  Login
Document type:
Technical Report 
Author(s):
Kalyan Basu 
Title:
The Geometry of Sequential Computation I: A Simplicial Geometry of Interaction 
Abstract:
We formulate a geometrical representation of the normalization of proofs in the multiplicative-exponential fragment of linear logic. In particular, our representation conserves the local nature of the normalization process --- a concern salient to the Geometry of Interaction paradigm of Girard et al. Our approach is based on the representation of linear proofs as certain kinds of higher-dimensional automata, modeled as Simplicial sets in an affine geometry. This representation draws significantl...    »
 
Keywords:
Affine simplex; Linear logic; Geometry of interaction; Abelian groups; Cohomology; Cut-elimination; Sequentiality 
Year:
1997 
Year / month:
1997-08-01 00:00:00 
Pages:
23