3 search results - page 1 / 1 » Strong Normalization of Proof Nets Modulo Structural Congrue... |
RTA
1999
Springer
13 years 11 months ago
1999
Springer
CSL
2009
Springer
13 years 11 months ago
2009
Springer
We study the confluence of Ehrhard and Regnier's differential nets with exponential promotion, in a pure setting. Confluence fails with promotion and codereliction in absence ...
TLCA
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We present a theory of proof denotations in classical propologic. The abstract definition is in terms of a semiring of weights, and two concrete instances are explored. ...