Pubblicazioni (Faggian, Claudia)

Proof nets sequentialisation in Multiplicative Linear Logic

Paolo Di Giamberardino, Claudia Faggian (2008) (pdf)

Jump from Parallel to Sequential proof: Multiplicatives

Paolo Di Giamberardino, Claudia Faggian (2006) (|pdf)