234 search results - page 1 / 47 » Proof Nets and the Identity of Proofs |
CORR
2006
Springer
15 years 5 months ago
2006
Springer
147
click to vote
APAL
2008
15 years 6 months ago
2008
Abstract. We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a ...
182
click to vote
IPPS
2002
IEEE
15 years 10 months ago
2002
IEEE
We present a formalization of a proof of self-stabilization in the Coq proof assistant. Coq is a program allowing to define mathematical objects and properties, and to make proof...
211
click to vote
LPAR
2007
Springer
16 years 4 hour ago
2007
Springer
Proof nets are a parallel syntax for sequential proofs of linear logic, firstly introduced by Girard in 1987. Here we present and intrinsic (geometrical) characterization of proof...
132
click to vote
CSL
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a new class of multiplicative proof nets, J-proof nets, which are a typed version of Faggian and Maurel's multiplicative L-nets. In J-proof nets, we can character...