A linear algorithm for MLL proof net correctness and sequentialization - Sciweavers

32

click to vote

more TCS 2011 ...

twiki.di.uniroma1.it

Tweet