3 search results - page 1 / 1 » Strong Normalization of Proof Nets Modulo Structural Congrue... |
70
Voted
RTA
1999
Springer
15 years 1 months ago
1999
Springer
CSL
2009
Springer
15 years 1 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 ...
88
Voted
TLCA
2005
Springer
15 years 3 months 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. ...