Sciweavers

Share
TCS
2011

A linear algorithm for MLL proof net correctness and sequentialization

8 years 1 months ago
A linear algorithm for MLL proof net correctness and sequentialization
Stefano Guerrini
Added 15 May 2011
Updated 15 May 2011
Type Journal
Year 2011
Where TCS
Authors Stefano Guerrini
Comments (0)
books